Table of contents

  1. Front Matter
  2. Orna Kupferman, Moshe Y. Vardi
    Pages 36-47
  3. David Cyrluk, Oliver Möller, Harald Rueß
    Pages 60-71
  4. Susanne Graf, Hassen Saidi
    Pages 72-83
  5. Adam L. Turk, Scott T. Probst, Gary J. Powers
    Pages 84-94
  6. Gila Kamhi, Osnat Weissberg, Limor Fix, Ziv Binyamini, Ze'ev Shtadler
    Pages 95-106
  7. Christel Baier, Holger Hermanns
    Pages 119-130
  8. Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren
    Pages 143-154
  9. Bernard Boigelot, Louis Bronne, Stéphane Rassart
    Pages 167-178
  10. Marius Bozga, Oded Maler, Amir Pnueli, Sergio Yovine
    Pages 179-190
  11. Serdar Taşiran, Robert K. Brayton
    Pages 191-201
  12. Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano et al.
    Pages 202-213
  13. Geoff Barrett, Anthony McIsaac
    Pages 214-225
  14. Viktor Gyuris, A. Prasad Sistla
    Pages 232-243
  15. Ulrich Stern, David L. Dill
    Pages 256-267
  16. R. H. Hardin, R. P. Kurshan, S. K. Shukla, M. Y. Vardi
    Pages 268-278
  17. Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
    Pages 279-290
  18. Neil Immerman, Moshe Y. Vardi
    Pages 291-302
  19. Gérard Cécé, Alain Finkel
    Pages 304-315
  20. William Chan, Richard Anderson, Paul Beame, David Notkin
    Pages 316-327
  21. Ilkka Kokkarinen, Doron Peled, Antti Valmari
    Pages 328-339
  22. R. Alur, R. K. Brayton, T. A. Henzinger, S. Qadeer, S. K. Rajamani
    Pages 340-351
  23. Stephan Melzer, Stefan Römer
    Pages 352-363
  24. Jun Sawada, Warren A. Hunt Jr.
    Pages 364-375
  25. Jun Yuan, Jian Shen, Jacob Abraham, Adnan Aziz
    Pages 376-387
  26. Miroslav Velev, Randal E. Bryant, Alok Jain
    Pages 388-399
  27. Tevfik Bultan, Richard Gerber, William Pugh
    Pages 400-411
  28. Y. Resten, O. Maler, M. Marcus, A. Pnueli, E. Shahar
    Pages 424-435
  29. Bernd Grahlmann
    Pages 440-443
  30. N. Lindenstrauss, Y. Sagiv, A. Serebrenik
    Pages 444-447
  31. Peter Kelb, Tiziana Margaria, Michael Mendier, Claudia Gsottberger
    Pages 448-451
  32. Sérgio Campos, Edmund Clarke, Marius Minea
    Pages 452-455
  33. Kim G. Larsen, Paul Pettersson, Wang Yi
    Pages 456-459
  34. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    Pages 460-463
  35. A. P. Sistla, L. Miliades, V. Gyuris
    Pages 464-467

About these proceedings


This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.
The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.


Hardware algorithm algorithms computer formal method hardware verification tools verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63166-8
  • Online ISBN 978-3-540-69195-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods