Table of contents

  1. Front Matter
  2. Nicolas Halbwachs
    Pages 1-16
  3. Doron Peled
    Pages 17-28
  4. John Hoffman, Charlie Payne
    Pages 49-56
  5. Jorge R. Cuéllar
    Pages 57-60
  6. Gerard J. Holzmann
    Pages 61-70
  7. John C. Mitchell
    Pages 71-76
  8. Pierre Wolper, Bernard Boigelot
    Pages 88-97
  9. Jens U. Skakkebæk, Robert B. Jones, David L. Dill
    Pages 98-109
  10. Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan
    Pages 122-134
  11. E. M. Clarke, E. A. Emerson, S. Jha, A. P. Sistla
    Pages 147-158
  12. Gurmeet Singh Manku, Ramin Hojati, Robert Brayton
    Pages 159-171
  13. Ulrich Stern, David L. Dill
    Pages 172-183
  14. Ilan Beer, Shoham Ben-David, Avner Landver
    Pages 184-194

About these proceedings


This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.


Automat automated deduction computer model checking modeling space exploration verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64608-2
  • Online ISBN 978-3-540-69339-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book