Slides
Yices 1.0: An Efficient SMT solver (SMT-COMP'06 presentation)
Yices Tutorial (AFM'06)
(
Examples used in the tutorial
)
A Fast Linear-Arithmetic Sover for DPLL(T) (CAV'06)
BMC and Induction: from refutation to verification (
PS
,
PDF
)
Little Engines of Proof
.
An Experimental Evaluation of Ground Decision Procedures (
PS
,
PDF
)
SAL 2 (
PS
,
PDF
)
Leonardo de Moura:
demoura@csl.sri.com