Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2001

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Editors:

  1. Franck Cassez

    1. IRCCyN, CNRS, Nantes Cedex 3, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Claude Jard

    1. IRISA, CNRS, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Brigitte Rozoy

    1. Laboratoire de Recherche en Informatique, Université de Paris XI, Orsay Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Mark Dermot Ryan

    1. School of Computer Science, University of Birmingham, Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2067)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 52.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (11 chapters)

  1. Front Matter

    Pages I-X
    PDF

  2. Tutorials and Papers

    1. Model Checking: A Tutorial Overview

      • Stephan Merz
      Pages 3-38

    2. Theorem Proving for Verification

      • John Rushby
      Pages 39-57

    3. Composition and Abstraction

      • Antti Valmari
      Pages 58-98

    4. UPPAAL - Now, Next, and Future

      • Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D’Argenio, Alexandre David, Ansgar Fehnker et al.
      Pages 99-124

    5. HMSCs as Partial Specifications...with PNs as Completions

      • Benoit Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
      Pages 125-152

    6. Industrial Applications of Model Checking

      • Alessandro Cimatti
      Pages 153-168

    7. Formal Methods in Practice: The Missing Links. A Perspective from the Security Area

      • Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
      Pages 169-180

  3. Annotated Bibliographies

    2. Testing Transition Systems: An Annotated Bibliography

      • Ed Brinksma, Jan Tretmans
      Pages 187-195

    4. Mobile Processes: A Commented Bibliography

      • Silvano Dal Zilio
      Pages 206-222

  4. Back Matter

    Pages 223-223
    PDF
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • IRCCyN, CNRS, Nantes Cedex 3, France

    Franck Cassez

  • IRISA, CNRS, Rennes, France

    Claude Jard

  • Laboratoire de Recherche en Informatique, Université de Paris XI, Orsay Cedex, France

    Brigitte Rozoy

  • School of Computer Science, University of Birmingham, Birmingham, UK

    Mark Dermot Ryan

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 52.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation