Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings by

Lecture Notes in Computer Science

Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

308 pages paperback

9 editions

nonfiction computer science design informative medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

The name "SPIN" refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of sof...

Show More

Community Reviews

Loading...

Content Warnings

Loading...