CAV 1995
34 papers
- Algorithmic Analysis of Nonlinear Hybrid Systems
- An Automata-Theoretic Approach to Fair Realizability and Synthesis
- An Integration of Model Checking with Automated Proof Checking
- Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
- Automated Analysis of an Audio Control Protocol
- Automatic Datapath Abstraction In Hardware Systems
- CAVEAT: Technique and Tool for Computer Aided VErification And Transformation
- Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion
- Efficient Timing Analysis of a Class of Petri Nets
- From Duration Calculus To Linear Hybrid Automata
- Generating BDD Models for Process Algebra Terms
- Global rebuilding of OBDDs Avoiding Memory Requirement Maxima
- Hardware Verification using Monadic Second-Order Logic
- Interactively Verifying a Simple Real-time Scheduler
- It Usually Works: The Temporal Logic of Stochastic Systems
- Local Liveness for Compositional Modeling of Fair Reactive Systems
- Local Model Checking for Real-Time Systems (Extended Abstract)
- Methods for Mu-calculus Model Checking: A Tutorial (Abstract)
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving
- Modelling Asynchrony with a Synchronous Model
- Multipliers and Dividers: Insights on Arithmetic Circuits Verification (Extended Abstract)
- On Polynomial-Size Programs Winning Finite-State Games
- On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
- Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
- Supervisory Control of Finite State Machines
- The Rabin Index and Chain Automata, with Applications to Automatas and Games
- Toupie = µ-Calculus + Constraints
- Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study
- Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach
- Verification of Real-Time Systems by Successive Over and Under Approximation
- Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems