Politecnico
di Milano
DEI - Dipartimento di
Elettronica e Informazione
FORMAL
METHODS IN CONCURRENT AND DISTRIBUITED SYSTEMS
Course's Web Site
2° Semester
Teacher: Prof. Dino Mandrioli
ATTENTION:
official notes about the course are available at the Politecnico's Web
Site.
The course is addressed
to the students participating in the joint master in Computer Science of the
Politecnico di Milano and the Univerisity of Illinois at Chicago
Teaching
material:
Articles
and reports
Advertising
Formal Methods and Organizing their Teaching: Yes, but …
Ciapessoni
et al. ACM TOSEM, 1999
Formal
methods for real-time computing. Ch.1
Formal
methods for real-time computing. Ch.6
Specification
of ENEL's energy meters (in Italian)
Test results
2011 Final
grades (after June test)
Other useful links