Vérification de Logiciels Master 2, 2008
From Concrete Model to Abtract Programs
Boolean and Cartesian abstraction for model checking C programs
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
Lazy Abstraction
SAT Solvers
SAT Solvers: Theory and Practice
Abstraction With Interpolations
An interpolating theorem prover
Lazy Abstraction with Interpolants
Accelerated Abstract Domains
Accelerated Data-Flow Analysis
Acceleration in Convex Data-Flow Analysis