Set-Based Analysis of Reactive Infinite-State Systems
Abstract elided by the publisher.
1,553 papers · page 74 of 78
Model Checking of Real-Time Reachability Properties Using Abstractions
Abstract elided by the publisher.
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
Abstract elided by the publisher.
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets
Abstract elided by the publisher.
Automated Verification of Szymanski's Algorithm
Abstract elided by the publisher.
Verification Based on Local States
Abstract elided by the publisher.
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction
Abstract elided by the publisher.
Static Partial Order Reduction
Abstract elided by the publisher.
Modular Model Checking of Software
Abstract elided by the publisher.
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
Abstract elided by the publisher.
Formal Design and Analysis of a Gear Controller
Abstract elided by the publisher.
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)
Abstract elided by the publisher.
Translation Validation
Abstract elided by the publisher.
Formal Verification of SDL Systems at the Siemens Mobile Phone Department
Abstract elided by the publisher.
Experience with Literate Programming in the Modelling and Validation of Systems
Abstract elided by the publisher.
Factotum: Automatic and Systematic Sharing Support for Systems Analyzers
Abstract elided by the publisher.
A Verified Model Checker for the Modal µ-calculus in Coq
Abstract elided by the publisher.
Practical Model-Checking Using Games
Abstract elided by the publisher.
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
Abstract elided by the publisher.
Visual Verification of Reactive Systems
Abstract elided by the publisher.