Discriminative Model Checking
Abstract elided by the publisher.
2,069 papers · page 63 of 104
Tutorial on Separation Logic (Invited Tutorial)
Abstract elided by the publisher.
Linear Arithmetic with Stars
Abstract elided by the publisher.
Computing Differential Invariants of Hybrid Systems as Fixedpoints
Abstract elided by the publisher.
Heap Assumptions on Demand
Abstract elided by the publisher.
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings
Abstract elided by the publisher.
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
Abstract elided by the publisher.
Abstract Interpretation with Applications to Timing Validation
Abstract elided by the publisher.
Scalable Shape Analysis for Systems Code
Abstract elided by the publisher.
Parameterized Verification of Infinite-State Processes with Global Conditions
Abstract elided by the publisher.
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Abstract elided by the publisher.
Magnifying-Lens Abstraction for Markov Decision Processes
Abstract elided by the publisher.
Comparison Under Abstraction for Verifying Linearizability
Abstract elided by the publisher.
Structural Abstraction of Software Verification Conditions
Abstract elided by the publisher.
Leaping Loops in the Presence of Abstraction
Abstract elided by the publisher.
I/O Efficient Accepting Cycle Detection
Abstract elided by the publisher.
CVC3
Abstract elided by the publisher.
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
Abstract elided by the publisher.
UPPAAL-Tiga: Time for Playing Games!
Abstract elided by the publisher.
Shape Analysis for Composite Data Structures
Abstract elided by the publisher.