Causal Atomicity
Abstract elided by the publisher.
2,069 papers · page 67 of 104
Deriving Small Unsatisfiable Cores with Dominators
Abstract elided by the publisher.
Lookahead Widening
Abstract elided by the publisher.
Repair of Boolean Programs with an Application to C
Abstract elided by the publisher.
Yasm: A Software Model-Checker for Verification and Refutation
Abstract elided by the publisher.
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
Abstract elided by the publisher.
Bounded Model Checking for Weak Alternating Büchi Automata
Abstract elided by the publisher.
The Ideal of Verified Software
Abstract elided by the publisher.
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
Abstract elided by the publisher.
Minimizing Generalized Büchi Automata
Abstract elided by the publisher.
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
Abstract elided by the publisher.
Check It Out: On the Efficient Formal Verification of Live Sequence Charts
Abstract elided by the publisher.
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
Abstract elided by the publisher.
Counterexamples with Loops for Predicate Abstraction
Abstract elided by the publisher.
Safraless Compositional Synthesis
Abstract elided by the publisher.
Symmetry Reduction for Probabilistic Model Checking
Abstract elided by the publisher.
SMT Techniques for Fast Predicate Abstraction
Abstract elided by the publisher.
Improving Pushdown System Model Checking
Abstract elided by the publisher.
Abstraction for Shape Analysis with Fast and Precise Transformers
Abstract elided by the publisher.
Termination Analysis with Calling Context Graphs
Abstract elided by the publisher.