The course has ended. Thanks to all students taking it, to those students taking the final test, and especially to those students who have been attending all the lectures regularly. Best wishes for the Holidays, and good luck with the exams. Also, if you liked the course, consider asking for a thesis on this subject. :-)
The site of the 2025/26 edition of the course can be found at:
https://sites.google.com/diag.uniroma1.it/formal-methods-25-26-degiacomo
Welcome to the site of Formal Methods 2024/2025 (Prof. De Giacomo).
The course can be chosen by 2nd-year students. MSc Theses on the themes of the course are available.
From now on, on this page, you'll find all the required information. Enjoy the course!
Prerequisites. Students taking this course should have knowledge of software modeling and design, relational databases, and basic notions of propositional and first-order logic as acquired in previous years' courses.
Objectives. The course's objective is to study the most important of the qualities of software: correctness. Correctness will be studied by looking at the conceptual perspective as well as the realization perspective. Modeling and verification of both static (data) and dynamic (processes) aspects will be considered. The various topics will be treated by emphasizing methodological, theoretical, and practical facets. The course will introduce various forms of logic (special fragments of first-order logic, linear temporal logics, branching temporal logics, fixpoint logics), techniques, and tools for automated verification. After successfully completing the course, the student will have acquired techniques and methods for proving the correctness of programs as well as conceptual process models.
Teaching material.
[1] Course slides 2024/2025 and additional readings are available on this page.
Lectures: Thursdays and Fridays from 17:00 to 20:00 in AULA A4 Via Ariosto 25 (or online)
The Zoom room for the streamed lectures is the following:
https://uniroma1.zoom.us/j/7737376235
To get access please use your account studenti.uniroma1.it