Holzmann, Gerard J.
SPIN model checker : primer and reference manual
- Boston: Addison-Wesley, 2003
- 596 p.; Index.: 24 cm.
9780321228628 (hbk)
Checker
Computer programs -- testing
SPIN model checker
Systems engineering -- mahtematics models
620.0011 / HOL