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

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 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
  • About this book