Course code, if applicable: 06-28201
University hosting the course: University of Birmingham
Contact person: David Parker
Concepts taught: Modal logic, Temporal logic, Model checking, Real-time and probabilistic model checking
Tools used: Examples: Nu-SMV, SPIN, ProB,FDR, Z3, UPPAAL, PRISM, ProVerif
Webpage: https://www.cs.bham.ac.uk/internal/modules/2018/06-28201/
Course code, if applicable: 06-28201 University hosting the course: University of Birmingham Contact person: David Parker Concepts taught: Modal logic, Temporal logic, Model checking, Real-time and probabilistic model checking Tools used: Examples: Nu-SMV, SPIN, ProB,FDR, Z3, UPPAAL, PRISM, ProVerif Webpage: https://www.cs.bham.ac.uk/internal/modules/2018/06-28201/