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
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