Table of contents

  1. Front Matter
  2. Rajeev Alur, Limor Fix, Thomas A. Henzinger
    Pages 1-13
  3. Roberto Gorrieri, Glauco Siliprandi
    Pages 14-26
  4. William K. C. Lam, Robert K. Brayton
    Pages 27-40
  5. Bernard Boigelot, Pierre Wolper
    Pages 55-67
  6. Jerry R. Burch, David L. Dill
    Pages 68-80
  7. A. Olivero, J. Sifakis, S. Yovine
    Pages 81-94
  8. Jennifer McManis, Pravin Varaiya
    Pages 105-117
  9. Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 118-131
  10. Milena Mihail, Christos H. Papadimitriou
    Pages 132-141
  11. Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
    Pages 142-155
  12. Anuchit Anuchitanukul, Zohar Manna
    Pages 156-168
  13. Hardi Hungar
    Pages 169-181
  14. Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
    Pages 182-193
  15. Zohar Manna
    Pages 220-221
  16. R. P. Kurshan
    Pages 222-233

About these proceedings


This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.
The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.


Automated Verification Computer Aided Verification Formal Methods Formale Methoden Hardware Hybrid Systems Real-Time Systems computer model checking verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58179-6
  • Online ISBN 978-3-540-48469-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors