Formal methods for concurrent and real-time systems

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Formal methods for concurrent and real-time systems #106

Open sanpietr opened 2 months ago

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: Hoare Logic,Labelled Transition Systems,Linear Temporal Logic (LTL),Model Checking,Timed Automata,Temporal Logic Tools used: Uppaal Webpage: https://tinyurl.com/26z2c78v Year/Level: MSc

jff commented 1 month ago

Thank you, @sanpietr ! The course is now in the public database.