6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

Lecture Notes

Verification Condition Generation, Lecture 13

Description:

This is a file that contains information regarding Verification Condition Generation.

Resource Type:
Lecture Notes
pdf
407 kB
Verification Condition Generation, Lecture 13

Course Info

Fall 2015
Lecture Notes
Programming Assignments