Formal Methods
A.Y. 2025/2026
Learning objectives
The course will address formal techniques to improve software reliability, in particular w.r.t. the specification and the proof of software properties. The techniques that we will present are symbolic model checking and theorem proving via proof assistants.
Expected learning outcomes
The student will be able to state and prove some simple properties of software using the tools presented in the course
Lesson period: First semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course can be attended as a single course.
Course syllabus and organization
Single session
Course syllabus
The syllabus is shared with the following courses:
- [FBA-31](https://www.unimi.it/en/ugov/of/af20260000fba-31)
- [FBA-31](https://www.unimi.it/en/ugov/of/af20260000fba-31)
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours
Professor:
Momigliano Alberto Davide Adolfo
Professor(s)