Computer Systems Security - MIT - 10

Lecture 10: Symbolic Execution

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

Instructor: Armando Solar-Lezama
Source: OCW MIT - Massachusetts Institute of Technology
More information is available in the playlist details

Видео Computer Systems Security - MIT - 10 канала Electrical & Computer Learning Center, ECL Center