search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Safety Critical Systems #13

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Friday Jun 01, 2018 at 21:33 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/13

Course code, if applicable: SWEN326 University hosting the course: Victoria University Wellington Contact person: David Pearce, david.pearce@ecs.vuw.ac.nz Concepts taught: Software verification, model checking, static analysis Tools used: Webpage: https://www.victoria.ac.nz/courses/swen/326/2018/offering?crn=30042