Open Course Space

Fundamentals of Program Analysis

Massachusetts Institute of TechnologyUnited States6.820
Free, no sign-up neededFall 2015English
Go to course on MIT OpenCourseWare

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.

Description from MIT OpenCourseWare.

Where to take this course