Course code, if applicable:
University hosting the course: Politecnico di Milano
Contact person: Dino Mandrioli (dino.mandrioli@polimi.it)
Concepts taught: Logics for specifying syteme; HOare's method; timed Petri nets, TRIO (a metric temporal logic for real-time systems). Case studies.
Tools used: Zot, a local model checker.
Webpage: http://home.deib.polimi.it/mandriol/Didattica/sitofms.html
Course code, if applicable: University hosting the course: Politecnico di Milano Contact person: Dino Mandrioli (dino.mandrioli@polimi.it) Concepts taught: Logics for specifying syteme; HOare's method; timed Petri nets, TRIO (a metric temporal logic for real-time systems). Case studies. Tools used: Zot, a local model checker. Webpage: http://home.deib.polimi.it/mandriol/Didattica/sitofms.html