Table of contents

  1. Front Matter
  2. Robert K. Brayton
    Pages 1-2
  3. Felice Balarin, Alberto L. Sangiovanni-Vincentelli
    Pages 29-40
  4. Ramin Hojati, Robert K. Brayton, Robert P. Kurshan
    Pages 41-58
  5. Pierre Wolper, Denis Leroy
    Pages 59-70
  6. Susanne Graf, Claire Loiseaux
    Pages 71-84
  7. J. C. Fernandez, A. Kerbrat, L. Mounier
    Pages 85-96
  8. Y. Kesten, Z. Manna, H. McGuire, A. Pnueli
    Pages 97-109
  9. G. Kutty, Y. S. Ramakrishna, L. E. Moser, L. K. Dillon, P. M. Melliar-Smith
    Pages 138-153
  10. R. P. Kurshan, Leslie Lamport
    Pages 166-179
  11. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Pages 181-193
  12. Oded Maler, Amir Pnueli
    Pages 194-209
  13. Mihalis Yannakakis, David Lee
    Pages 210-224
  14. Costas Courcoubetis, Werner Damm, Bernhard Josko
    Pages 225-236

About these proceedings

Introduction

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry.

Keywords

Addition Automatic Verification Boolean function Echtzeit-Systeme Equivalence Hardware Model Checking Process Algebras Prozessalgebren Real-Time Systems algorithms automata calculus formal verification verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-56922-7
  • Copyright Information Springer-Verlag 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56922-0
  • Online ISBN 978-3-540-47787-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book