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
  17. Felice Balarin, Alberto L. Sangiovanni-Vincentelli
    Pages 234-246
  18. David Cyrluk, Paliath Narendran
    Pages 247-259
  19. Scott Hazelhurst, Carl-Johan H. Seger
    Pages 273-285
  20. Zheng Zhu, C-J Seger
    Pages 286-298
  21. Vigyan Singhal, Carl Pixley
    Pages 311-323
  22. Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Alberto L. Sangiovanni-Vincentelli
    Pages 324-337
  23. David E. Long, Anca Browne, Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
    Pages 338-350
  24. Oleg V. Sokolsky, Scott A. Smolka
    Pages 351-363
  25. Ramin Hojati, Robert Mueller-Thuns, Robert K. Brayton
    Pages 391-403
  26. E. Clarke, O. Grumberg, K. Hamaguchi
    Pages 415-427
  27. Björn Victor, Faron Moller
    Pages 428-440
  28. Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
    Pages 455-467
  29. Tomas G. Rokicki, Chris J. Myers
    Pages 468-480
  30. Back Matter

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