Updating search results...

Search Resources

1 Result

View
Selected filters:
  • abstract-interpretation
Fundamentals of Program Analysis
Conditional Remix & Share Permitted
CC BY-NC-SA
Rating
0.0 stars

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.

Subject:
Applied Science
Computer Science
Engineering
Material Type:
Full Course
Provider:
MIT
Provider Set:
MIT OpenCourseWare
Author:
Solar-Lezama, Armando
Date Added:
09/01/2015