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.

 

 

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.

At the end of the course, an active engaged student is able to apply software verification techniques to simple programs using existing tools.

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.