Table of contents

  1. Front Matter
  2. Colin Sterling
    Pages 1-1
  3. Henrik Reif Andersen, Glynn Winskel
    Pages 24-36
  4. A. Prasad Sistla, Lenore D. Zuck
    Pages 59-69
  5. William R. Bevier, JØrgen F. SØgaard-Andersen
    Pages 70-82
  6. Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas
    Pages 83-91
  7. George S. Avrunin, Ugo A. Buy, James C. Corbett
    Pages 92-102
  8. Ranga Vemuri, Anuradha Sridhar
    Pages 125-135
  9. Huimin Lin
    Pages 136-146
  10. Claus Torp Jensen
    Pages 147-157
  11. S. Mauw, G. J. Veltink
    Pages 158-168
  12. Alain Finkel, Laure Petrucci
    Pages 169-180
  13. Jean -Claude Fernandez, Laurent Mounier
    Pages 181-191
  14. Claude Jard, Thierry Jéron
    Pages 192-202

About these proceedings


This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.


Automat automata computer logic model checking tools verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55179-9
  • Online ISBN 978-3-540-46763-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book