System Modeling and Analysis
A.Y. 2025/2026
Learning objectives
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
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Course currently not available
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours