Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures - Lecture Notes in Computer Science 2067 (Paperback)Franck Cassez (editor), Claude Jard (editor), Brigitte Rozoy (editor), Mark D. Ryan (editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 234
Weight: 750 g
Dimensions: 233 x 155 x 12 mm
Edition: 2001 ed.