Master Degree in Computer Science
Formal Methods (6 credits)


NOTICE

Next written exams (June-July examination session), all in presence at 9.30 in classroom A1.1
I) June 17th, 2022;
II) July 1st, 2022;
III) July 20th, 2022.


Supervision hours:
by appointment in presence or on Teams.


Course Syllabus and Bibliography

Look at the Lectures of the course.

Some written exams of the past years
Text of the second partial written exam of June 20th, 2016. 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 monica.nesi@univaq.it.