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

About these proceedings

Introduction

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)".

Keywords

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 https://doi.org/10.1007/3-540-56496-9
  • Copyright Information Springer-Verlag 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
  • About this book