SpinCause: a tool for causality checking

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 ◽

10.1145/2632362.2632371 ◽

2014 ◽

Cited By ~ 3

Author(s):

Florian Leitner-Fischer ◽

Stefan Leue

Download Full-text