Table of contents

  1. Front Matter
  2. Mannes Poel, Job Zwiers
    Pages 16-29
  3. Kim Guldstrand Larsen
    Pages 30-43
  4. Urban Engberg, Peter Grønning, Leslie Lamport
    Pages 44-55
  5. Joakim von Wright, Thomas Långbacka
    Pages 56-68
  6. Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
    Pages 82-95
  7. Amar Bouali, Robert de Simone
    Pages 96-108
  8. Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan
    Pages 109-122
  9. R. Alur, A. Itai, R. Kurshan, M. Yannakakis
    Pages 137-150
  10. Felice Balarin, Alberto L. Sangiovanni-Vincentelli
    Pages 151-163
  11. Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin
    Pages 178-191
  12. Siegfried Fischer, Andreas Scholz, Dirk Taubner
    Pages 192-205
  13. Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima
    Pages 206-219
  14. Glenn Bruns
    Pages 220-233
  15. Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
    Pages 234-247
  16. S. Bensalem, A. Bouajjani, C. Loiseaux, J. Sifakis
    Pages 260-273
  17. C. Courcoubetis, D. Dill, M. Chatzaki, P. Tzounakis
    Pages 274-287
  18. N. Rico, G. v. Bochmann, O. Cherkaoui
    Pages 288-301
  19. J. C. Bradfield
    Pages 316-329
  20. Angelika Mader
    Pages 330-342
  21. Ufuk Celikkan, Ranee Cleaveland
    Pages 370-383
  22. Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
    Pages 384-395
  23. Ramin Hojati, Herve Touati, Robert P. Kurshan, Robert K. Brayton
    Pages 396-409
  24. Ranee Cleaveland, Marion Klein, Bernhard Steffen
    Pages 410-422
  25. Back Matter

About these proceedings


This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. 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 the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems. The volume contains 31 papers selected from 75 submissions. These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proof checking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".


Automatic Verification Automatische Verifikation Beweisprüfung Computer-Aided Design (CAD) Concurrent Systems Model Checking Modellprüfung Nebenläufige Systeme Proof Checking algorithm algorithms distributed systems logic microprocessor real-time

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56496-6
  • Online ISBN 978-3-540-47572-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site