Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
An embeddable virtual machine for state space generation
Proceedings of the 14th international SPIN conference on Model checking software
BEEM: benchmarks for explicit model checkers
Proceedings of the 14th international SPIN conference on Model checking software
HipG: parallel processing of large-scale graphs
ACM SIGOPS Operating Systems Review
Counterexample explanation by anomaly detection
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
SpinS: Extending LTSmin with Promela through SpinJa
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
SPINJA is a model checker for PROMELA, implemented in Java. SPINJA is designed to behave similarly to SPIN, but to be more easily extendible and reusable. Despite the fact that SPINJA uses a layered object-oriented design and is written in Java, SPINJA's performance is reasonable: benchmark experiments have shown that, in exhaustive mode, SPINJA is about five times slower than the highly optimized SPIN. For bitstate verification runs the difference is only a factor of two.