Principles of the spin model checker
Auteur :
Ben-Ari, Mordechai
Éditeur :
Springer London Ltd
ISBN :
9781846287695
Date de publication :
8 janv. 2008
Dimensions :
22,9 x 15,2 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.