Teacher:
Lessons schedule:
Students Office hours:
D1 – KNOWLEDGE AND UNDERSTANDING
At the end of the course, the student should be able to:
D2 – APPLYING KNOWLEDGE AND UNDERSTANDING
At the end of the course, the student should be able to:
D3 – MAKING JUDGEMENTS
At the end of the course, the student should be able to:
D4 - COMMUNICATION SKILLS
At the end of the course, the student should be able to:
D5 – LEARNING SKILLS
At the end of the course, the student should be able to:
Course Slides
Lectures
Reference books
The main material of the course consists of:
Morover, lecture notes, papers and slides may be provided in this website.
The Maude tool can be downloaded for free for academic use, together with documentation and tutorials, from the website: http://maude.cs.illinois.edu/
The TAPAs tool can be downloaded for free for academic use, together with documentation and tutorials, from the website: http://rap.dsi.unifi.it/tapas/
The mCRL2 tool can be downloaded for free for academic use, together with documentation and tutorials, from the website: http://www.mcrl2.org/release/user_manual/index.html
Exam Dates A.Y. 2018/2019
Exam rules:
Exam Results