System Modeling and Analysis
The objective of the course is to introduce methods and techniques for formal specification and verification of complex systems. The course then presents languages for formal specification (operational and denotational) of system requirements and formal verification of temporal logic properties.
Expected learning outcomes
At the end of the course, the student will be able to design a formal specification model for complex systems. The student will also have the ability of modeling through model refinement and have skills on methods and techniques for formal verification of temporal properties.
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Course syllabus and organization
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours
Professor: Riccobene Elvinia Maria
-Professor: Riccobene Elvinia Maria