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
  11. William G. Wood
    Pages 257-263
  12. Sudhir Aggarwal, Daniel Barbara, Walter Cunto, Michael R. Garey
    Pages 264-274
  13. S. Graf, J.-L. Richier, C. Rodríguez, J. Voiron
    Pages 275-285
  14. Pierre Azema, François Vernadat, Jean-Christophe Lloret
    Pages 286-293
  15. Juan Quemada, Santiago Pavón, Angel Fernández
    Pages 294-302
  16. Jerry R. Burch
    Pages 334-348
  17. Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
    Pages 349-364
  18. Olivier Coudert, Christian Berthet, Jean Christophe Madre
    Pages 365-373
  19. Ganesh C. Gopalakrishnan, Narayana S. Mani, Venkatesh Akella
    Pages 374-382

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods