Overview
- Fast track proceedings
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6823)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: SPIN 2011.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
-
Invited Contributions
-
Abstractions and State-Space Reductions
-
PROMELA Encodings and Extensions
Other volumes
-
Model Checking Software
Keywords
About this book
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011.
The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Editors and Affiliations
Bibliographic Information
Book Title: Model Checking Software
Book Subtitle: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
Editors: Alex Groce, Madanlal Musuvathi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-22306-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-22305-1Published: 05 July 2011
eBook ISBN: 978-3-642-22306-8Published: 05 July 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 195
Number of Illustrations: 35 b/w illustrations, 25 illustrations in colour
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages