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

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

Lecture Notes in Computer Science

346 pages • missing pub info (editions)

nonfiction computer science design informative medium-paced
Powered by AI (Beta)
Loading...

Description

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:...

Read more

Community Reviews

Loading...

Content Warnings

Loading...