The spin model checker primer and reference manual pdf

The SPIN Model Checker: Primer And Reference Manual, G. Holzmann.; Temporal Logics I: Theory, Daniel Shahaf, Tel-Aviv University, November 2007 ; Lecture 25, Linear Temporal Logic, Models of Software Systems, Fall 1999, Carnegie Mellon University We describe an extension of the Spin model checker that allows us to take advantage of the increasing number of cpu-cores available on standard desktop systems. Our main target is to speed up the The Spin model checker [2,10] is arguably one of the most powerful and popular (software) model checkers available. Unfortunately, the highly optimized C code The Spin Model Checker - Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2004. 3. M. de Jonge. The SpinJ Model Checker. Logic Model Checking Lecture Notes 12:18 Caltech 101b.2 January-March 2005 Course Text: The Spin Model Checker: Primer and Reference Manual Addison-Wesley 2003, ISBN -321-22862-6, 608 pgs. Logic Model Checking [12 of 18] 2 Spin's LTL syntax • ltl formula ::= true, false Material About SPIN SPIN Home page spinroot.com/spin/ Contains manuals, reference material, and tutorial Books about SPIN • G.J. Holzmann SPIN MODEL CHECKER Primer and Reference Manual, • G.J. Holzmann Design and Validation of Computer Protocols,, Prentice Hall 1991, older book, available on the Internet 4 Elements of Promela SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion. It was written by Gerard J. Holzmann and others in the original Unix group of the Computing Sciences Research Center at Bell Labs, beginning in 1980. The Spin model checker is a widely used professional software tool for specifying and verifying concurrent and distributed systems. Models, written in a simple language called Promela, can be simulated randomly or interactively. Spin can generate efficient verifiers that search for a counterexample to correctness specifications applied to a model. The SPIN Model Checker - primer and reference manual G. Holzmann Computer Science 2003 TLDR This is the most comprehensive reference guide to SPIN, written by the principal designer of the tool, and gives detailed advice on methods for tackling the most complex software verification problems. 2,117