Skip to main content
SpringerLink
Log in
Book cover

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Alan J. Hu
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Moshe Y. Vardi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1427)

Included in the following conference series:

Conference proceedings info: CAV 1998.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (54 papers)

  1. Front Matter

    Download chapter PDF

  2. Synchronous programming of reactive systems

    • Nicolas Halbwachs
    Pages 1-16

  3. Ten years of partial order reduction

    • Doron Peled
    Pages 17-28

  4. An ACL2 proof of write invalidate cache coherence

    • J. Strother Moore
    Pages 29-38

  5. Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle

    • David Hardin, Matthew Wilding, David Greve
    Pages 39-44

  6. A role for theorem proving in multi-processor design

    • Albert J. Camilleri
    Pages 45-48

  7. A formal method experience at secure computing corporation

    • John Hoffman, Charlie Payne
    Pages 49-56

  8. Formal methods in an industrial environment

    • Jorge R. Cuéllar
    Pages 57-60

  9. On checking model checkers

    • Gerard J. Holzmann
    Pages 61-70

  10. Finite-state analysis of security protocols

    • John C. Mitchell
    Pages 71-76

  11. Integrating proof-based and model-checking techniques for the formal verification of cryptographic protocols

    • Dominique Bolignano
    Pages 77-87

  12. Verifying systems with infinite but regular state spaces

    • Pierre Wolper, Bernard Boigelot
    Pages 88-97

  13. Formal verification of out-of-order execution using incremental flushing

    • Jens U. Skakkebæk, Robert B. Jones, David L. Dill
    Pages 98-109

  14. Verification of an implementation of Tomasulo's algorithm by compositional model checking

    • K. L. McMillan
    Pages 110-121

  15. Decomposing the proof of correctness of pipelined microprocessors

    • Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan
    Pages 122-134

  16. Processor verification with precise exceptions and speculative execution

    • Jun Sawada, Warren A. Hunt Jr.
    Pages 135-146

  17. Symmetry reductions in model checking

    • E. M. Clarke, E. A. Emerson, S. Jha, A. P. Sistla
    Pages 147-158

  18. Structural symmetry and model checking

    • Gurmeet Singh Manku, Ramin Hojati, Robert Brayton
    Pages 159-171

  19. Using magnetic disk instead of main memory in the Mur Ï• verifier

    • Ulrich Stern, David L. Dill
    Pages 172-183

  20. On-the-fly model checking of RCTL formulas

    • Ilan Beer, Shoham Ben-David, Avner Landver
    Pages 184-194
Back to top

Other volumes

  1. Computer Aided Verification

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation