Skip to main content
SpringerLink
Log in
Book cover

Modeling and Verification of Parallel Processes

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

  • Textbook
  • © 2001

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-X
    Download chapter 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

    1. Verification of Systems with an Infinite State Space

      • Javier Esparza
      Pages 183-186

    2. Testing Transition Systems: An Annotated Bibliography

      • Ed Brinksma, Jan Tretmans
      Pages 187-195

    3. Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

      • Alexandre Petrenko
      Pages 196-205

    4. Mobile Processes: A Commented Bibliography

      • Silvano Dal Zilio
      Pages 206-222

  4. Back Matter

    Pages 223-223
    Download chapter PDF
Back to top

Keywords

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.

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

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

  • Topics: Software Engineering, Theory of Computation

Publish with us

Policies and ethics

Back to top

Search

Navigation