Silvio Ranise
Affiliation
INRIA
Researcher (CR 1) at
LORIA
and
INRIA
-Lorraine
Research
Slides of the
ICTAC'06
Tutorial on ``
Decision Procedures for the formal analysis of software'
'' by D. Deharbe, P. Fontaine, C. Ringeissen, and myself:
Introduction
/
Building
/
Combining
/
Integrating
/
Certifying
Events (news)
4th International Joint Conferenceon Automated Reasoning
. August, 2008. Sydney (Australia)
Education: Teaching
Metodi formali per la verifica dei protocolli
(AA 2006/2007)
U. degli Studi di Milano