Open jff opened 5 years ago
Issue by brijeshdongol Friday Apr 12, 2019 at 10:27 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/45
Course code, if applicable: COM3028 University hosting the course: University of Surrey Contact person: Brijesh Dongol, b.dongol@surrey.ac.uk Concepts taught: Modal logic, Temporal logic, LTL, CTL, Model checking, Hoare logic Tools used: NuSMV, Dafny, MCMAS Webpage: https://catalogue.surrey.ac.uk/2018-9/module/COM3028
Course code, if applicable: COM3028 University hosting the course: University of Surrey Contact person: Brijesh Dongol, b.dongol@surrey.ac.uk Concepts taught: Modal logic, Temporal logic, LTL, CTL, Model checking, Hoare logic Tools used: NuSMV, Dafny, MCMAS Webpage: https://catalogue.surrey.ac.uk/2018-9/module/COM3028