Synthesis of deduction-based decision procedures
with applications to the automatic formal analysis of software
The goal of this project is to develop a method to prove properties
of programs by combining
deduction, satisfiability solving and model checking.
The project is organized in three main threads:
24 months: November 2003 - November 2005.
Maria Paola Bonacina