Table of contents

  1. Front Matter
  2. George S. Avrunin
    Pages 26-37
  3. Marco Pistore, Davide Sangiorgi
    Pages 38-49
  4. Igor Walukiewicz
    Pages 62-74
  5. Orna Kupferman, Moshe Y. Vardi
    Pages 75-86
  6. E. Allen Emerson, Kedar S. Namjoshi
    Pages 87-98
  7. Sandeep K. Shukla, Harry B. Hunt Jr, Daniel J. Rosenkrantz
    Pages 99-110
  8. E. M. Clarke, S. M. German, X. Zhao
    Pages 111-122
  9. H. Rueß, N. Shankar, M. K. Srivas
    Pages 123-134
  10. Deepak Kapur, M. Subramaniam
    Pages 135-146
  11. C. Norris Ip, David L. Dill
    Pages 147-158
  12. John Rushby
    Pages 169-183
  13. Susanne Graf, Hassen Saïdi
    Pages 196-207
  14. Henny B. Sipma, Tomás E. Uribe, Zohar Manna
    Pages 208-219
  15. Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
    Pages 220-231
  16. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al.
    Pages 244-256
  17. Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton
    Pages 269-276
  18. Mark R. Greenstreet
    Pages 277-287
  19. Luca de Alfaro, Zohar Manna
    Pages 288-299
  20. Seungjoon Park, David L. Dill
    Pages 300-310
  21. E. Pascal Gribomont
    Pages 311-322
  22. Saddek Bensalem, Yassine Lakhnech, Hassen Saidi
    Pages 323-335
  23. Hillel Miller, Shmuel Katz
    Pages 336-347
  24. Jean -Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
    Pages 348-359
  25. Orna Kupferman, Moshe Y. Vardi
    Pages 372-382
  26. Gerard J. Holzmann, Doron Peled
    Pages 383-389
  27. David L. Dill
    Pages 390-393
  28. Rance Cleaveland, Steve Sims
    Pages 394-397
  29. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    Pages 398-401
  30. Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong -Liang Xie, Oleg Sokolsky
    Pages 402-405
  31. S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas
    Pages 411-414
  32. Nikolaj Bjørner, Anca Browne, Eddie Chang, Michael Colón, Arjun Kapur, Zohar Manna et al.
    Pages 415-418
  33. E. Clarke, K. McMillan, S. Campos, V. Hartonas-Garmhausen
    Pages 419-422
  34. R. H. Hardin, Z. Har'El, R. P. Kurshan
    Pages 423-427
  35. Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu -Tsung Cheng et al.
    Pages 428-432
  36. K. D. Anon, N. Boulerice, E. Cerny, F. Corella, M. Langevin, X. Song et al.
    Pages 433-436
  37. Jean -Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
    Pages 437-440
  38. Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
    Pages 441-445
  39. L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, L. K. Dillon
    Pages 446-449
  40. Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun
    Pages 450-453
  41. Frank Koob, Markus Ullmann, Stefan Wittmann
    Pages 454-457

About these proceedings


This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.
The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.


Audio Computergestüzte Verifikation Formale Verifikation Programmanalyse System Text Theorembeweisen Verifikationstools algorithms communication computer aided verification formal verification program anlysis theorem proving verification tools

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61474-6
  • Online ISBN 978-3-540-68599-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site