Fundamentals of Program Analysis

Basic expressions, codes and graphs of program analysis.

Basic components related to the program analysis. (Image by Prof. Armando Solar-Lezama.)


MIT Course Number


As Taught In

Fall 2015



Cite This Course

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.

Related Content

Armando Solar-Lezama. 6.820 Fundamentals of Program Analysis. Fall 2015. Massachusetts Institute of Technology: MIT OpenCourseWare, License: Creative Commons BY-NC-SA.

For more information about using these materials and the Creative Commons license, see our Terms of Use.