Resources
Software installation instructions and supplementary references will be added as they become relevant. Lecture slides and assigned readings will be linked from the schedule.
Optional textbooks
Aaron R. Bradley and Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007.
Optional textbooks are available through the University of Alberta course reserves. There is no required textbook. Specific sections will be identified on the schedule when assigned.
Software
Students do not need to install every tool at the beginning of the term. Installation requirements will accompany the relevant lecture or assignment.