Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings by

Model Checking Software: 9th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings

Lecture Notes in Computer Science

262 pages • missing pub info (editions)

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

Description

The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN w...

Read more

Community Reviews

Loading...

Content Warnings

Loading...