SPIN   2012 International Workshop on SPIN Model Checking
Wall of Fame | Most Viewed SPIN-2012 Paper
9 years 10 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a signi´Čücant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source270
2Download preprint from source248
3Download preprint from source228