Interactively Verifying a Simple Real-time Scheduler
Abstract elided by the publisher.
2,069 papers · page 94 of 104
CAVEAT: Technique and Tool for Computer Aided VErification And Transformation
Abstract elided by the publisher.
Algorithmic Analysis of Nonlinear Hybrid Systems
Abstract elided by the publisher.
Automated Analysis of an Audio Control Protocol
Abstract elided by the publisher.
Automatic Datapath Abstraction In Hardware Systems
Abstract elided by the publisher.
Efficient Timing Analysis of a Class of Petri Nets
Abstract elided by the publisher.
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software
Abstract elided by the publisher.
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms
Abstract elided by the publisher.
The Rabin Index and Chain Automata, with Applications to Automatas and Games
Abstract elided by the publisher.
Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions
Abstract elided by the publisher.
Modelling Asynchrony with a Synchronous Model
Abstract elided by the publisher.
On Polynomial-Size Programs Winning Finite-State Games
Abstract elided by the publisher.
Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings
Abstract elided by the publisher.
An Integration of Model Checking with Automated Proof Checking
Abstract elided by the publisher.
Toupie = µ-Calculus + Constraints
Abstract elided by the publisher.
Local Model Checking for Real-Time Systems (Extended Abstract)
Abstract elided by the publisher.
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Abstract elided by the publisher.
A Determinizable Class of Timed Automata
Abstract elided by the publisher.
Realizability and Synthesis of Reactive Modules
Abstract elided by the publisher.
Formula-Dependent Equivalence for Compositional CTL Model Checking
Abstract elided by the publisher.