Table of contents

  1. Front Matter
  2. Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini
    Pages 1-10
  3. Rance Cleaveland, Matthew Hennessy
    Pages 11-23
  4. Rance Cleaveland, Joachim Parrow, Bernhard Steffen
    Pages 24-37
  5. Pierre Wolper, Vinciane Lovinfosse
    Pages 68-80
  6. Howard Barringer, Michael D. Fisher, Graham D. Gough
    Pages 133-150
  7. Ze'ev Shtadler, Orna Grumberg
    Pages 151-165
  8. Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow
    Pages 179-188
  9. N. Halbwachs, D. Pilaud, F. Ouabdesselam, A-C. Glory
    Pages 213-231
  10. Kim Guldstrand Larsen
    Pages 232-246

About these proceedings


This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.


Automat Realzeitbetrieb Spezifikation (Software) Verifikation automata communication real-time tools verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52148-8
  • Online ISBN 978-3-540-46905-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors