Course code, if applicable: 088882
University hosting the course: Politecnico di Milano
Contact person: Pierluigi San Pietro, pierluigi.sanpietro@polimi.it
Concepts taught: Theory and practice of specification and verification of real-time systems, with particular focus on transition systems, timed automata, model checking and temporal logic;
Hoare’s method for program specification and verification. Examples of tools and applications (Prism, Spin, Javapathfinder, etc.)
Tools used: Uppaal.
Webpage: https://tinyurl.com/26z2c78v
sanpietr
commented
2 months ago
Course code, if applicable: 088882 University hosting the course: Politecnico di Milano Contact person: Pierluigi San Pietro, pierluigi.sanpietro@polimi.it Concepts taught: Theory and practice of specification and verification of real-time systems, with particular focus on transition systems, timed automata, model checking and temporal logic; Hoare’s method for program specification and verification. Examples of tools and applications (Prism, Spin, Javapathfinder, etc.) Tools used: Uppaal. Webpage: https://tinyurl.com/26z2c78v