Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Modeling and Verification of Parallel Processes: 4th Summer School, Movep 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Jard, Claude
Rozoy, Brigitte
Cassez, Franck

Paperback

Series: Lecture Notes in Computer Science, Book 2067

Medical ReferenceGeneral ComputersProgramming

ISBN10: 3540427872
ISBN13: 9783540427872
Publisher: Springer
Published: Oct 24 2001
Pages: 234
Weight: 0.74
Height: 0.50 Width: 6.14 Depth: 9.21
Language: English
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.
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.

Also from

Cassez, Franck

View All

Also in

General Computers

View All