Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

by

Write The First Customer Review

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http: //netlib.bell-labs.com/netlib/spin/whatispin.html), developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e?cient state exploration algorithms. The fact that SPIN s modeling ...

Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings 2000, Springer, Berlin, Germany

ISBN-13: 9783540410300

2000 edition

Trade paperback

Select