Skip to main content
SpringerLink
Log in
Book cover

Computer Aided Verification

5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Costas Courcoubetis
    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 697)

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 54.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 (40 papers)

  1. Alternating RQ timed automata

    • William K. C. Lam, Robert K. Brayton
    Pages 237-252

  2. Timed modal specification — Theory and tools

    • Kārlis Čerāns, Jens Chr. Godskesen, Kim G. Larsen
    Pages 253-267

  3. A mechanically verified application for a mechanically verified environment

    • Matthew Wilding
    Pages 268-279

  4. Verification of real-time systems using PVS

    • N. Shankar
    Pages 280-291

  5. The formal verification of an algorithm for interactive consistency under a hybrid fault model

    • Patrick Lincoln, John Rushby
    Pages 292-304

  6. Computer-assisted simulation proofs

    • Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
    Pages 305-319

  7. A verifier and timing analyser for simple imperative programs

    • M. J. C. Gordon
    Pages 320-320

  8. Efficient verification of parallel real-time systems

    • Tomohiro Yoneda, Atsufumi Shibayama, Bernd-Holger Schlingloff, Edmund M. Clarke
    Pages 321-332

  9. Delay analysis in synchronous programs

    • Nicolas Halbwachs
    Pages 333-346

  10. Verifying quantitative real-time properties of synchronous programs

    • M. Jourdan, F. Maraninchi, A. Olivero
    Pages 347-358

  11. A modal logic for message passing processes

    • M. Hennessy, X. Liu
    Pages 359-370

  12. Functionality decomposition by compositional correctness preserving transformation

    • Ed Brinksma, Rom Langerak, Peter Broekroelofs
    Pages 371-384

  13. On model-checking for fragments of μ-calculus

    • E. A. Emerson, C. S. Jutla, A. P. Sistla
    Pages 385-396

  14. On-the-fly verification with stubborn sets

    • Antti Valmari
    Pages 397-408

  15. All from one, one for all: on model checking using representatives

    • Doron Peled
    Pages 409-423

  16. Verifying timed behavior automata with input/output critical races

    • David K. Probst, Hon F. Li
    Pages 424-437

  17. Refining dependencies improves partial-order verification methods (extended abstract)

    • Patrice Godefroid, Didier Pirottin
    Pages 438-449

  18. Exploiting symmetry in temporal logic model checking

    • E. M. Clarke, T. Filkorn, S. Jha
    Pages 450-462

  19. Symmetry and model checking

    • E. Allen Emerson, A. Prasad Sistla
    Pages 463-478

  20. Generation of reduced models for checking fragments of CTL

    • Dennis Dams, Orna Grumberg, Rob Gerth
    Pages 479-490
Back to top

Keywords

About this book

This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, processalgebras and calculi, partial orders, and exploiting symmetry.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation