Spincause: a tool for causality checking

F Leitner-Fischer, S Leue - Proceedings of the 2014 International SPIN …, 2014 - dl.acm.org
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 …
被引用次数：17 相关文章
[PDF] spinroot.com

[PDF][PDF] SpinCause-A Tool for Causality Checking

F Leitner-Fischer, S Leue - spinroot.com
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 …

SpinCause: A Tool for Causality Checking

F Leitner-Fischer, S Leue - 2014 - kops.uni-konstanz.de
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 …
[PDF] uni-konstanz.de

[PDF][PDF] SpinCause-A Tool for Causality Checking

F Leitner-Fischer, S Leue - uni-konstanz.de
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 …
[PDF] semanticscholar.org

[PDF][PDF] SpinCause: A Tool for Causality Checking

F Leitner-Fischer - pdfs.semanticscholar.org
SpinCause: A Tool for Causality Checking Page 1 system s s o ftw a re engineering
SpinCause: A Tool for Causality Checking Florian Leitner-Fischer University of Konstanz Chair …
[PDF] leitner-fischer.com

[PDF][PDF] SpinCause: A Tool for Causality Checking

F Leitner-Fischer - leitner-fischer.com
SpinCause: A Tool for Causality Checking Page 1 system s s o ftw a re engineering
SpinCause: A Tool for Causality Checking Florian Leitner-Fischer University of Konstanz Chair …
[PDF] spinroot.com

[PDF][PDF] SpinCause-A Tool for Causality Checking

F Leitner-Fischer, S Leue - spinroot.com
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 …

SpinCause: A Tool for Causality Checking

F Leitner-Fischer, S Leue - 2014 - kops.uni-konstanz.de
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 …