CODE 80474 ACADEMIC YEAR 2016/2017 CREDITS 6 cfu anno 2 INGEGNERIA INFORMATICA 8733 (LM-32) - SCIENTIFIC DISCIPLINARY SECTOR ING-INF/05 LANGUAGE Italiano TEACHING LOCATION SEMESTER 1° Semester AIMS AND CONTENT SYLLABUS/CONTENT Introduction to system verification. Modeling and verification of discretestate systems. Modeling and verification of real-time and hybrid systems. Modeling an verification of probabilistic systems. RECOMMENDED READING/BIBLIOGRAPHY Cristel Baier, Joost-Pieter Katoen - Principles of Model Checking – MIT Press - 2008 TEACHERS AND EXAM BOARD ARMANDO TACCHELLA Ricevimento: Every hour following class hours. Exam Board ARMANDO TACCHELLA (President) ENRICO GIUNCHIGLIA EXAMS EXAM DESCRIPTION Homeworks (10%), final project (50%) and presentation (40%) ASSESSMENT METHODS At the end of the course students should be able to model, simulate and verify distributed computational units controlling physical processes.
