CS 745 / ECE 725 Computer-Aided Verification (Winter 2009)