Formal Methods Foundation
This is an advanced graduate course on formal method foundations. The primary goal of this course is to provide students with an understanding of the basic concepts of formal methods, and their applications in computer science. Potential topics include:
Prerequisite: basic discrete mathmatics. Some familarity with functional programming is better, but not required.