A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
Abstract elided by the publisher.
2,069 papers · page 62 of 104
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract elided by the publisher.
Theorem Proving for Verification (Invited Tutorial)
Abstract elided by the publisher.
Probabilistic CEGAR
Abstract elided by the publisher.
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement
Abstract elided by the publisher.
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract elided by the publisher.
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Abstract elided by the publisher.
Producing Short Counterexamples Using "Crucial Events"
Abstract elided by the publisher.
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract elided by the publisher.
Jakstab: A Static Analysis Platform for Binaries
Abstract elided by the publisher.
Inferring Congruence Equations Using SAT
Abstract elided by the publisher.
A Hybrid Type System for Lock-Freedom of Mobile Processes
Abstract elided by the publisher.
Validating High-Level Synthesis
Abstract elided by the publisher.
Faster Than Uppaal?
Abstract elided by the publisher.
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Abstract elided by the publisher.
Singularity: Designing Better Software (Invited Talk)
Abstract elided by the publisher.
T(O)RMC: A Tool for (omega)-Regular Model Checking
Abstract elided by the publisher.
THOR: A Tool for Reasoning about Shape and Arithmetic
Abstract elided by the publisher.
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B
Abstract elided by the publisher.
Enhancing Program Verification with Lemmas
Abstract elided by the publisher.