Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2067)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
Similar content being viewed by others
Keywords
Table of contents (11 chapters)
-
Tutorials and Papers
Editors and Affiliations
Bibliographic Information
Book Title: Modeling and Verification of Parallel Processes
Book Subtitle: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
Editors: Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45510-8
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42787-2Published: 24 October 2001
eBook ISBN: 978-3-540-45510-3Published: 29 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 234