Course Info

Instructor:	Prof. Armando Solar-Lezama
Course Number:	6.820
Departments:	Electrical Engineering and Computer Science
As Taught In:	Fall 2015
Level:	Undergraduate

Topics

Engineering

Computer Science

Software Design and Engineering

Learning Resource Types

Lecture Notes

Programming Assignments

Resources

Assignments

Fundamentals of Program Analysis Assignment 1

Fundamentals of Program Analysis Assignment 2

Fundamentals of Program Analysis Assignment 3

Fundamentals of Program Analysis Assignment 4

Fundamentals of Program Analysis Assignment 5

Fundamentals of Program Analysis Assignment 6

Lecture Notes

Abstract Interpretation, Galois Connections (cont.), Lecture 19

Algebraic Data Types & Their Ingredients: Product, Sum, and Recursive Types, Lecture 7

Axiomatic Semantics for Concurrency: Rely-Guarantee & Concurrent Separation Logic, Lecture 16

Big-Step vs. Small-Step Semantics and the λLet Calculus, Lecture 3

Coq Crash Course (Examples in Operational Semantics), Lecture 4

Coq Examples, Lecture 5

Dataflow Analysis and Abstract Interpretation, Lecture 18

Dataflow Analysis, Lattices, Fixed Points, Lecture 17

Explicit State Model Checking, Lecture 23

From Model Checking to Synthesis, Lecture 26

Course Info

Instructor:	Prof. Armando Solar-Lezama
Course Number:	6.820
Departments:	Electrical Engineering and Computer Science
As Taught In:	Fall 2015
Level:	Undergraduate

Topics

Engineering

Computer Science

Software Design and Engineering

Learning Resource Types

Lecture Notes

Programming Assignments