The SpinJa model checker

conference paper
2010
Jonge, M. de

Ruys, T.C.
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. © 2010 Springer-Verlag.
TNO Identifier
425126
Repository link
https://resolver.tno.nl/uuid:580bd99b-1445-49a9-8485-1ffa5edae6bf
ISSN
03029743
ISBN
3642161634
9783642161636
Source title
17th International SPIN Workshop on Model Checking Software, SPIN 2010, 27 September 2010 through 29 September 2010, Enschede. Conference code: 82321
Pages
124-128
Files
To receive the publication files, please send an e-mail request to TNO Repository.