C S 686
Download as PDF
Advanced Model Checking
Course Description
Techniques for managing state explosion and specialized algorithms for verifying classes of infinite state systems.
When Taught
Winter
Min
3
Fixed/Max
3
Fixed
3
Fixed
0
Other Prerequisites
CS 486 or equivalent
Title
Software verification techniques
Learning Outcome
At the end of the course, an active engaged student is able to name the broad classes of techniques for software verification and explain the intuition behind their operation.
Title
Properties of interest
Learning Outcome
At the end of the course, an active engaged student is able to discuss considerations in choosing a software verification technique as it relates to data non-determinism, scheduling non-determinism, and the property of interest.
Title
Application
Learning Outcome
At the end of the course, an active engaged student is able to apply software verification techniques to simple programs using existing tools.
Title
Research
Learning Outcome
At the end of the course, an active engaged student is able to identify areas of potential research to extend existing techniques in software verification.
