Modeling and Verification of Parallel Processes

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

  • Franck Cassez
  • Claude Jard
  • Brigitte Rozoy
  • Mark Dermot Ryan

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Tutorials and Papers

    1. Stephan Merz
      Pages 3-38
    2. John Rushby
      Pages 39-57
    3. Antti Valmari
      Pages 58-98
    4. Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D’Argenio, Alexandre David, Ansgar Fehnker et al.
      Pages 99-124
    5. Benoit Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
      Pages 125-152
    6. Alessandro Cimatti
      Pages 153-168
    7. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
      Pages 169-180
  3. Annotated Bibliographies

  4. Back Matter
    Pages 223-223

About this book

Introduction

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.

Keywords

formal method formal methods model checking modeling software testing theorem proving verification

Editors and affiliations

  • Franck Cassez
    • 1
  • Claude Jard
    • 2
  • Brigitte Rozoy
    • 3
  • Mark Dermot Ryan
    • 4
  1. 1.IRCCyNCNRSNantes Cedex 3France
  2. 2.IRISACNRSRennesFrance
  3. 3.Laboratoire de Recherche en InformatiqueUniversité de Paris XIOrsay CedexFrance
  4. 4.School of Computer ScienceUniversity of BirminghamBirminghamUK

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45510-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42787-2
  • Online ISBN 978-3-540-45510-3
  • Series Print ISSN 0302-9743
  • About this book