SPIN 2014 Talk: SpinCause: A Tool for Causality Checking
Today I talked at the SPIN 2014 symposium in San Jose, CA about the SpinCause tool. The slides for my talk are available here. In this paper we present the SpinCause tool for causality checking of Promela and PRISM models. We give an overview of the capabilities of SpinCause and briefly sketch how the causality checking …
SPIN 2014 Talk: SpinCause: A Tool for Causality Checking Read More »