Advanced applications of
model-checking techniques
The school is mainly addressed to PhD students and researchers interested in applications of formal verification techniques.
The focus will be on the description of several challenging domains in which model checking is currently applied, on the advantages of the application of such a verification technique and on the difficulties to be faced.
An introduction on the use of Formal Methods in Computer System/Software Design will be given, addressing System Requirement and Design Specification as well as Analysis using traditional and stochastic model checking, followed by several application-specific courses.
The SEFM 2010 School detailed program is available.
For a downloadable PDF version refer the School site downloads page or follow this direct link.
The program is available at the School program page too.
-
Introduction and Motivations (4 hours, Sept. 6 afternoon)
Diego Latella (ISTI-CNR, Pisa, Italy)
-
Applications in orchestration of web services (6 hours, Sept. 7)
Rosario Pugliese (University of Florence, Italy)
Paola Quaglia (University of Trento, Italy)
Francesco Tiezzi (University of Florence, Italy) -
Applications in systems biology (6 hours, Sept. 8)
Paolo Milazzo (University of Pisa, Italy)
Antonio Cerone (UNU-IIST, Macau SAR China)
Davide Chiarugi (University of Siena, Italy)
-
Applications to safety-critical systems (3 hours, Sept. 9 morning)
Alessandro Fantechi (University of Florence, Italy)
-
Applications in human-computer interaction (6 hours, Sept. 9-10)
Mieke Massink (ISTI-CNR, Pisa, Italy)
Antonio Cerone (UNU-IIST, Macau SAR China)
-
Applications in security of systems (3 hours, Sept. 10 afternoon)
Pierpaolo Degano (University of Pisa, Italy)
Roberto Zunino (University of Trento, Italy)
Further information and Abstracts at courses page
Detailed program at program page or as PDF file: 
