Deliverables
T6
D1 - Requirement Analysis
Benchmarck
T12
D2 - Release of
Alt-Ergo
and
veriT
D3 - Report on new combination methods for arithmetics and non-stably infinite theories
D5 - Report on strategies for efficient deduction
D7 - Preliminary report on a generic proof format for SMT solvers
T18
Mid-Term Report