A Proof Assistant for Symbolic Model-Checking
Abstract elided by the publisher.
2,069 papers · page 99 of 104
A Case Study in Safety-Critical Design
Abstract elided by the publisher.
Generating Diagnostic Information for Behavioral Preorders
Abstract elided by the publisher.
Decidability of Bisimulation Equivalences for Parallel Timer Processes
Abstract elided by the publisher.
Faster Model Checking for the Modal Mu-Calculus
Abstract elided by the publisher.
Verifying General Safety and Liveness Propterties with Integer Programming
Abstract elided by the publisher.
Verification with Real-Time COSPAN
Abstract elided by the publisher.
Modular Abstractions for Verifying Real-Time Distributed Systems
Abstract elided by the publisher.
Mechanical Verification of Concurrent Systems with TLA
Abstract elided by the publisher.
Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study
Abstract elided by the publisher.
State-Space Caching Revisited
Abstract elided by the publisher.
Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic
Abstract elided by the publisher.
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
Abstract elided by the publisher.
Efficient omega-Regular Language Containment
Abstract elided by the publisher.
Higher-Level Specification and Verification with BDDs
Abstract elided by the publisher.
Towards a Verification Technique for Large Synchronous Circuits
Abstract elided by the publisher.
Compositional Model Checking for Linear-Time Temporal Logic
Abstract elided by the publisher.
Computer-Hindered Verification (Humans Can Do It Too)
Abstract elided by the publisher.
Efficient Local Correctness Checking
Abstract elided by the publisher.
Tableau Recycling
Abstract elided by the publisher.