Skip to main content
Side panel
Home
LMS UniCA 2023
More
English (en)
English (en)
Français (fr)
Log in
Home
LMS UniCA 2023
Course info
SMUFN310 - UE Model checking
In this course we will study transition systems, temporal logic and model checking algorithms.
Teacher:
Maria Elisabetta