Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2989)
Conference series link(s): SPIN: International Symposium on Model Checking Software
Conference proceedings info: SPIN 2004.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (22 papers)
-
Front Matter
-
Invited Paper
-
Improvements of SPIN
-
Abstraction and Symbolic Methods
About this book
Keywords
- C++ programming language
- Java
- SPIN
- SPIN model checking
- Unified Modeling Language (UML)
- abstract interpretation
- abstraction
- explicit model checking
- formal methods
- formal specification
- formal verification
- modal verification
- testing
- validation
- verification
Editors and Affiliations
-
VERIMAG, Grenoble-Gières, France
Susanne Graf
-
Vérimag Laboratory, Gières, France
Laurent Mounier
Bibliographic Information
Book Title: Model Checking Software
Book Subtitle: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Editors: Susanne Graf, Laurent Mounier
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b96721
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-21314-7Published: 18 March 2004
eBook ISBN: 978-3-540-24732-6Published: 27 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 314
Topics: Software Engineering, Compilers and Interpreters, Computer Science Logic and Foundations of Programming