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
  15. Reinhard Enders, Thomas Filkorn, Dirk Taubner
    Pages 203-213
  16. Hiromi Hiraishi, Kiyoharu Hamaguchi, Hiroyuki Ochi, Shuzo Yajima
    Pages 214-224
  17. Ed Brinksma, Tele-Informatics Group
    Pages 244-254
  18. David L. Dill, Alan J. Hu, Howard Wong-Toi
    Pages 255-265
  19. N. De Francesco, P. Inverardi
    Pages 266-276
  20. Carl -Johan H. Seger, Jeffrey J. Joyce
    Pages 299-309
  21. David K. Probst, Hon F. Li
    Pages 322-331
  22. Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund
    Pages 343-353
  23. Klaus Schneider, Ramayya Kumar, Thomas Kropf
    Pages 365-375
  24. Xavier Nicollin, Joseph Sifakis
    Pages 376-398
  25. Costas Courcoubetis, Mihalis Yannakakis
    Pages 399-409
  26. Alan Jeffrey
    Pages 432-442
  27. Uno Holmer, Kim Larsen, Wang Yi
    Pages 443-453
  28. Costas Courcoubetis, Susanne Graf, Joseph Sifakis
    Pages 454-465
  29. M. Langevin, E. Cerny
    Pages 466-476
  30. Gjalt G. de Jong
    Pages 477-487
  31. Back Matter

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