Beyond Model Checking
Abstract elided by the publisher.
2,069 papers · page 96 of 104
Suspension Automata: A Decidable Class of Hybrid Automata
Abstract elided by the publisher.
Hierarchical Representations of Discrete Functions, with Application to Model Checking
Abstract elided by the publisher.
On the Random Walk Method for Protocol Testing
Abstract elided by the publisher.
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking
Abstract elided by the publisher.
Using Abstractions for the Verification of Linear Hybrid Systems
Abstract elided by the publisher.
Combining Partial Order Reductions with On-the-fly Model-Checking
Abstract elided by the publisher.
Decidability of Hybrid Systems with Rectangular Differential Inclusion
Abstract elided by the publisher.
Automatic Verification of Timed Circuits
Abstract elided by the publisher.
A Hybrid Model for Reasoning about Composed Hardware Systems
Abstract elided by the publisher.
Compositional Semantics of ESTEREL and Verification by Compositional Reductions
Abstract elided by the publisher.
The Verifiacation Problem for Safe Replaceability
Abstract elided by the publisher.
Incremental Model Checking in the Modal Mu-Calculus
Abstract elided by the publisher.
The Mobility Workbench - A Tool for the pi-Calculus
Abstract elided by the publisher.
The Completeness of a Hardware Inference System
Abstract elided by the publisher.
Computing Accumulated Delays in Real-time Systems
Abstract elided by the publisher.
An Iterative Approach to Language Containment
Abstract elided by the publisher.
Logic Synthesis and Design Verification
Abstract elided by the publisher.
Functionality Decomposition by Compositional Correstness Preserving Transformation
Abstract elided by the publisher.
Timed Modal Specification - Theory and Tools
Abstract elided by the publisher.