Academic Year 2017-2018:

Topics in Verification: Spring 2018

Past Courses:

CSC410: Verification and Testing

Topics in Verification: Spring 2017

PMU199: Computational Thinking: Fall 2016, Spring 2017

Introduction to Theory of Computation: Fall 2015

Introduction to Theory of Computation: Fall 2013
Topics in Verification (Program Analysis): Winter 2014


Introduction to Theory of Computation: Winter 2013
Software Verification and Testing: Winter 2013
Topics in Verification (Game Theory in Formal Verification): Winter 2013


Introduction to Theory of Computation: Winter 2012
Software Verification and Testing: Winter 2012


Topics in Verification (Research Directions in Concurrency): Winter 2011
Software Verification and Testing: Winter 2011
Introduction to Theory of Computation: Fall 2010

Introduction to Theory of Computation: Spring 2010
Program Analysis: Fall 2009

Introduction to Theory of Computation: Spring 2009
Algorithmic Software Verification: Fall 2008