Advertisement

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
  15. William K. C. Lam, Robert K. Brayton
    Pages 237-252
  16. Kārlis Čerāns, Jens Chr. Godskesen, Kim G. Larsen
    Pages 253-267
  17. Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
    Pages 305-319
  18. Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
    Pages 321-332
  19. Nicolas Halbwachs
    Pages 333-346
  20. M. Jourdan, F. Maraninchi, A. Olivero
    Pages 347-358
  21. M. Hennessy, X. Liu
    Pages 359-370
  22. Ed Brinksma, Rom Langerak, Peter Broekroelofs
    Pages 371-384
  23. E. A. Emerson, C. S. Jutla, A. P. Sistla
    Pages 385-396
  24. Antti Valmari
    Pages 397-408
  25. E. M. Clarke, T. Filkorn, S. Jha
    Pages 450-462
  26. E. Allen Emerson, A. Prasad Sistla
    Pages 463-478
  27. Dennis Dams, Orna Grumberg, Rob Gerth
    Pages 479-490
  28. R. P. Kurshan, M. Merritt, A. Orda, S. R. Sachs
    Pages 491-504
  29. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site