search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Computer Aided Verification #49

Open jff opened 5 years ago

jff commented 5 years ago

Issue by brijeshdongol Friday Apr 12, 2019 at 13:27 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/49

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/