Politecnico di Milano
DEI - Dipartimento di Elettronica e Informazione
 
 

FORMAL METHODS IN CONCURRENT AND DISTRIBUTED 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:

Transparencies of the course

Sample Exercises

Teaching assistant's site

(Scanned copy of) Theoretical Foundations of Computer Science

Articles and reports

Advertising Formal Methods and Organizing their Teaching: Yes, but

On the heroism of really pursuing formal methods

Ciapessoni et al. ACM TOSEM, 1999

Formal methods for real-time computing. Ch.1

Formal methods for real-time computing. Ch.6

Train case Study

SemPisa-11-03

Dual Language Report

Modeling time, Chapter 11

ArchiTRIO.1

ArchiTRIO.2

Time Models: a Survey

Specification of ENEL's energy meters (in Italian)

Test results (recently they are sent as an attachment through Polimi mail)

Other useful links

The ICSE Student COntest on softwaRe Engineering (SCORE)

PhD Thesis proposal in the field of Formal Methods