This page contains the material relevant to
Formal Methods (academic Year: 2010-2011 -- Second Semester)
module including lecture handouts and practical material. All
enquiries regarding the module should be addressed to Alessandro Artale.
This is the Course Presentation Form with the syllabus of the course.
OFFICE HOURS: Tuesday, 15:00-17:00, Faculty of CS, POS Building, Room 2.03. Appointments have to be previously arranged via e-mail.
TEACHING ASSISTANT: Dr. Alessandro Artale
TUTORIALS And LABS
PROJECTSThe following is the list of NuSMV projects. Choose the "cannibal" problem and also another at your own choice. Submit the NuSMV code by email no later than Friday the 1st of July 2011.