This course is not currently offered, please contact the school or faculty of your program.

Course description

Techniques & tools for building high integrity software. Specification of software systems via mathematical models. Analysis of models via reasoning, model checking & animation. Development of software from specifications via refinement. Specification-based testing.