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: Second four month period
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
Responsible
Lesson period
Second four month period
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours
Professor:
Momigliano Alberto Davide Adolfo
Shifts:
Turno
Professor:
Momigliano Alberto Davide AdolfoProfessor(s)