6.858 | Fall 2014 | Graduate

Computer Systems Security

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

As Taught In
Fall 2014
Learning Resource Types
Lecture Videos
Exams with Solutions
Lecture Notes
Projects with Examples