CAV 1992
32 papers
- A Case Study in Safety-Critical Design
- A Proof Assistant for Symbolic Model-Checking
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
- A Verification Strategy for Timing-Constrained Systems
- Automatic Reduction in CTL Compositional Model Checking
- Compositional Model Checking for Linear-Time Temporal Logic
- Computer-Hindered Verification (Humans Can Do It Too)
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications
- Decidability of Bisimulation Equivalences for Parallel Timer Processes
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic
- Efficient Local Correctness Checking
- Efficient omega-Regular Language Containment
- Faster Model Checking for the Modal Mu-Calculus
- Generating Diagnostic Information for Behavioral Preorders
- Higher-Level Specification and Verification with BDDs
- Layering Techniques for Development of Parallel Systems
- Mechanical Verification of Concurrent Systems with TLA
- Model-Checking for Real-Time Systems Specified in Lotos
- Modular Abstractions for Verifying Real-Time Distributed Systems
- Property Preserving Simulations
- State-Space Caching Revisited
- Symbolic Bisimulation Minimisation
- Tableau Recycling
- Timing Verification by Successive Approximation
- Towards a Verification Technique for Large Synchronous Circuits
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
- Using a Theorem Prover for Reasoning about Concurrent Algorithms
- Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study
- Verification with Real-Time COSPAN
- Verifying General Safety and Liveness Propterties with Integer Programming
- Verifying Timed Behavior Automata with Nonbinary Delay Constraints
- Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification