Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. David L. Dill
    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 818)

Included in the following conference series:

Conference proceedings info: CAV 1994.

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 (38 papers)

  1. Front Matter

    Download chapter PDF

  2. A determinizable class of timed automata

    • Rajeev Alur, Limor Fix, Thomas A. Henzinger
    Pages 1-13

  3. Real-time system verification using P/T nets

    • Roberto Gorrieri, Glauco Siliprandi
    Pages 14-26

  4. Criteria for the simple path property in timed automata

    • William K. C. Lam, Robert K. Brayton
    Pages 27-40

  5. Hierarchical representations of discrete functions, with application to model checking

    • K. L. McMillan
    Pages 41-54

  6. Symbolic verification with periodic sets

    • Bernard Boigelot, Pierre Wolper
    Pages 55-67

  7. Automatic verification of pipelined microprocessor control

    • Jerry R. Burch, David L. Dill
    Pages 68-80

  8. Using abstractions for the verification of linear hybrid systems

    • A. Olivero, J. Sifakis, S. Yovine
    Pages 81-94

  9. Decidability of hybrid systems with rectangular differential inclusions

    • Anuj Puri, Pravin Varaiya
    Pages 95-104

  10. Suspension automata: A decidable class of hybrid automata

    • Jennifer McManis, Pravin Varaiya
    Pages 105-117

  11. Verification of context-free timed systems using linear hybrid observers

    • Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 118-131

  12. On the random walk method for protocol testing

    • Milena Mihail, Christos H. Papadimitriou
    Pages 132-141

  13. An automata-theoretic approach to branching-time model checking (Extended abstract)

    • Orna Bernholtz, Moshe Y. Vardi, Pierre Wolper
    Pages 142-155

  14. Realizability and synthesis of reactive modules

    • Anuchit Anuchitanukul, Zohar Manna
    Pages 156-168

  15. Model checking of macro processes

    • Hardi Hungar
    Pages 169-181

  16. Methodology and system for practical formal verification of reactive hardware

    • Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
    Pages 182-193

  17. Modeling and verification of a real life protocol using symbolic model checking

    • Vivek G. Naik, A. P. Sistla
    Pages 194-206

  18. Verification of a distributed cache memory by using abstractions

    • Susanne Graf
    Pages 207-219

  19. Beyond model checking

    • Zohar Manna
    Pages 220-221

  20. Models whose checks don't explode

    • R. P. Kurshan
    Pages 222-233
Back to top

Other volumes

  1. Computer Aided Verification

Keywords

About this book

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.
The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation