Verification and Improvement of the Sliding Window Protocol
Abstract elided by the publisher.
1,553 papers · page 65 of 78
Saturation Unbound
Abstract elided by the publisher.
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
Abstract elided by the publisher.
Learning Assumptions for Compositional Verification
Abstract elided by the publisher.
Strategies for Combining Decision Procedures
Abstract elided by the publisher.
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Abstract elided by the publisher.
Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
Abstract elided by the publisher.
Simple Representative Instantiations for Multicast Protocols
Abstract elided by the publisher.
Schedulability Analysis Using Two Clocks
Abstract elided by the publisher.
Decidability of Invariant Validation for Paramaterized Systems
Abstract elided by the publisher.
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
Abstract elided by the publisher.
Large State Space Visualization
Abstract elided by the publisher.
Proof-Like Counter-Examples
Abstract elided by the publisher.
On the Universal and Existential Fragments of the µ-Calculus
Abstract elided by the publisher.
A Set of Performance and Dependability Analysis Components for CADP
Abstract elided by the publisher.
Branching Processes of High-Level Petri Nets
Abstract elided by the publisher.
Generalized Symbolic Execution for Model Checking and Testing
Abstract elided by the publisher.
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code
Abstract elided by the publisher.
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
Abstract elided by the publisher.
Automatic Abstraction without Counterexamples
Abstract elided by the publisher.