Open brijeshdongol opened 5 years ago
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