Notice: Undefined variable: subpage in /project/FMT/sefm2010/school/include/menu.php on line 17

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




 
www.sefm2010.isti.cnr.it SEFM 2010 School
Home    |    News   |   Downloads   |  
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/school/include/footer.php on line 43
  |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:38