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:

Institutions

People

Duration

24 months: November 2003 - November 2005.



Maria Paola Bonacina