The SpinJa model checker

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6349 LNCS, Issue , 2010, Pages 124-128

  De Jonge, Marc ^a   Ruys, Theo C ^b  

^a TNO   (Netherlands)

^b RUwise ^*  (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK EXPERIMENTS; MODEL CHECKER; OBJECT-ORIENTED DESIGN; PROMELA; OBJECT ORIENTED DESIGN;

MODEL CHECKING;

BENCHMARKING; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING;

EID: 78149381210     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16164-3_9     Document Type: Conference Paper

References (11)

1. Ben-Ari, M.: Teaching Concurrency and Model Checking. In: Pǎsǎreanu, C.S. (ed.) SPIN 2009. LNCS, vol. 5578, pp. 6-11. Springer, Heidelberg (2009)
2. Holzmann, G.J.: The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Boston (2004)
3. de Jonge, M.: The SpinJ Model Checker. Master's thesis, University of Twente, Enschede, The Netherlands (September 2008)
4. Kattenbelt, M.A.: Towards an Explicit-State Model Checking Framework. Master's thesis, University of Twente, Enschede, The Netherlands (September 2006)
5. Kattenbelt, M.A., Ruys, T.C., Rensink, A.: An Object-Oriented Framework for Explicit-State Model Checking. In: Proc. of VVSS 2007, Eindhoven, The Netherlands, March 2007. pp. 84-92. TUE Computer Science Reports, Nr. 07-04 (2007)
6. Pelánek, R.: BEEM: Benchmarks for Explicit Model Checkers. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 263-267. Springer, Heidelberg (2007)
7. Weber, M.: An Embeddable Virtual Machine for State Space Generation. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 168-185. Springer, Heidelberg (2007)
8. Erigone, http://code.google.com/p/erigone/
9. nips, http://www.ewi.utwente.nl/~michaelw/nips/
10. Spin, http://spinroot.com/
11. SpinJa, http://code.google.com/p/spinja/