Principles of the spin model checker
Ben-Ari, Mordechai
Principles of the spin model checker Mordechai Ben-Ari. - London : Springer, ©2008. - xv, 216 p. ; 24 cm.
Includes bibliographical references (p. [209]-210) and index.
9781846287695
2007941384
GBA771506 bnb
013834419 Uk
SPIN (Computer file)
Computer software--Verification.
QA76.76.V47 / B46 2008
005.14 / BEN-P
Principles of the spin model checker Mordechai Ben-Ari. - London : Springer, ©2008. - xv, 216 p. ; 24 cm.
Includes bibliographical references (p. [209]-210) and index.
9781846287695
2007941384
GBA771506 bnb
013834419 Uk
SPIN (Computer file)
Computer software--Verification.
QA76.76.V47 / B46 2008
005.14 / BEN-P