Master Degree in Computer Science
Formal Methods (6 credits)


Starting on Monday, 23rd April 2018, the Formal Methods lectures are moved to room A1.2 ("Alan Turing" building, ex-Blocco 0).

Supervision hours:
Thursday (10.00-12.00) at Polo Coppito, Alan Turing building (ex-Blocco 0), second floor, room 216.

Course Syllabus and Bibliography

Look at Lectures Spring 2016 (also valid for Spring 2018)

Some written exams of the past years
Text of the second partial written exam of June 20th. To get the total written exam, just add in the rewriting part:
- in Ex.1 it is also required to give a reduction ordering so that the trs R is terminating;
- in Ex.2 it is also required to i) give a reduction ordering so that the trs R is terminating and ii) check that R is confluent.
All answers must be formally justified.

1/03/2012, 27/06/2012, 24/09/2012, 30/11/2012.

27 June 2011: rewriting, logic.
24 February 2011: rewriting, logic.
10 February 2011: rewriting, logic.
Some exercises on logic and theorem proving: text.

Some past midterm written exams
November 2013: text.
May 2012: text.
December 2010: text.
Some exercises for the partial exam: text.

Please, report any errors or problems to