Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems
Abstract elided by the publisher.
2,069 papers · page 81 of 104
Bounded Model Construction for Monadic Second-Order Logics
Abstract elided by the publisher.
Decision Procedures for Inductive Boolean Functions Based on Alternating Automata
Abstract elided by the publisher.
Model Checking Continuous-Time Markov Chains by Transient Analysis
Abstract elided by the publisher.
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs
Abstract elided by the publisher.
Distributing Timed Model Checking - How the Search Order Matters
Abstract elided by the publisher.
The STATEMATE Verification Environment - Making It Real
Abstract elided by the publisher.
Regular Model Checking
Abstract elided by the publisher.
Are Timed Automata Updatable?
Abstract elided by the publisher.
IF: A Validation Environment for Timed Asynchronous Systems
Abstract elided by the publisher.
Boolean Satisfiability with Transitivity Constraints
Abstract elided by the publisher.
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving
Abstract elided by the publisher.
Temporal-Locig Queries
Abstract elided by the publisher.
Counterexample-Guided Abstraction Refinement
Abstract elided by the publisher.
TAPS: A First-Order Verifier for Cryptographic Protocols
Abstract elided by the publisher.
A Proof-Carrying Code Architecture for Java
Abstract elided by the publisher.
Binary Reachability Analysis of Discrete Pushdown Timed Automata
Abstract elided by the publisher.
Automatic Verification of Parameterized Cache Coherence Protocols
Abstract elided by the publisher.
Efficient Algorithms for Model Checking Pushdown Systems
Abstract elided by the publisher.
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification
Abstract elided by the publisher.