Lecture Videos

Lecture 10: Symbolic Execution

Description: In this lecture, Professor Solar-Lezama from MIT CSAIL presents the concept of symbolic execution.

Instructor: Armando Solar-Lezama

Course Info

Learning Resource Types

theaters Lecture Videos
grading Exams with Solutions
notes Lecture Notes
group_work Projects with Examples