The goal of the project is the exploration of formal methods in the design of discrete and hybrid (cyberphysical) systems.
We address the study of algorithms for the formal verification of systems, and for the correct-by-construction synthesis of controllers for engineering systems.