This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
| ISBN: | 9783540733690 |
| Publication date: | 21st June 2007 |
| Author: | Dragan Bosnacki, Stefan Edelkamp |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 285 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters |
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.
Model Checking Software Theoretical Computer Science and General Issues features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters
Model Checking Software Theoretical Computer Science and General Issues is available in Paperback
Model Checking Software Theoretical Computer Science and General Issues was written by Dragan Bosnacki, Stefan Edelkamp and published by Springer an imprint of Springer Berlin Heidelberg
Model Checking Software Theoretical Computer Science and General Issues has 285 pages
Yes it is part of Lecture Notes in Computer Science series