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
  15. Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
    Pages 195-206
  16. Frank Wallner
    Pages 207-218
  17. Y. Xu, E. Cerny, X. Song, F. Corella, O. Aït Mohamed
    Pages 219-231
  18. Anuj Goel, Khurrarn Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
    Pages 244-255
  19. Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
    Pages 280-292
  20. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson
    Pages 305-318
  21. David Griffioen, Frits Vaandrager
    Pages 332-344
  22. Raphaël Couturier, Dominique Méry
    Pages 345-356
  23. Scott D. Stoller, Yanhong A. Liu
    Pages 357-368
  24. Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled
    Pages 379-390
  25. Wendy Belluomini, Chris J. Myers
    Pages 403-415
  26. Giampaolo Bella, Lawrence C. Paulson
    Pages 416-427
  27. Amy P. Felty, Douglas J. Howe, Frank A. Stomp
    Pages 428-439
  28. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Pages 440-451
  29. E. Allen Emerson, Kedar S. Namjoshi
    Pages 452-463
  30. Ratan Nalumasu, Rajnish Ghughal, Abdel Mokkedem, Ganesh Gopalakrishnan
    Pages 464-476
  31. Matt Kaufman, Andrew Martin, Carl Pixley
    Pages 477-487
  32. Yirng-An Chen, Randal E. Bryant
    Pages 488-499
  33. Amar Bouali
    Pages 500-504
  34. S. Bensalem, Y. Lakhnech, S. Owre
    Pages 505-510
  35. G. Ferrari, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
    Pages 511-515
  36. Jacob Elgaard, Nils Klarlund, Anders Møller
    Pages 516-520
  37. R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, S. Tasiran
    Pages 521-525

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment