The SPIN Model Checker : Primer and Reference Manual

By S. Nakajima. 2004

481 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/3df0ab740c674dfd92e57376e9c0c5ab58f84e0e

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Mark Harman
2. Robert M. Hierons
3. J. Derrick
4. M. Gheorghe
5. K. Bogdanov
6. R. Cleaveland
7. G. Lüttgen
8. Jonathan P. Bowen

Citations in the corpus

• Using formal specifications to support testing (2009, methodology): “The Spin Model Checker: Primer and Reference Manual.”