Projects

The members of ST&P are involved in the following projects and initiatives

• PRIN National Research Project: Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software, funded by Ministero dell'Istruzione, dell'Universita' e della Ricerca (MIUR), 2003 - 2005.
• FIRB National Research Project: Automatic Verification of Internet Security Protocols, funded by Ministero dell'Istruzione, dell'Universita' e della Ricerca (MIUR), 2003 - 2005.