Table of contents

  1. Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
    Pages 472-475
  2. I. Beer, S. Ben-David, C. Eisner, D. Geist, L. Gluhovsky, T. Heyman et al.
    Pages 480-483
  3. Back Matter

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
IT & Software