Advanced applications of
model-checking techniques

6-10 September 2010 - CNR, Pisa, Italy

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.

Some pictures taken during the SEFM School social dinner are available here.

School program: list of speakers

Further information and Abstracts at courses page

Detailed program at program page or as PDF file: Download SEFM 2010 School Programme in Adobe PDF Format SEFM 2010 School
Home    |    News   |   Downloads   |     |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:38