Instructor(s)
Prof. Armando Solar-Lezama
MIT Course Number
6.820
As Taught In
Fall 2015
Level
Undergraduate
Course Description
Course Features
Course Description
This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.