Massachusetts Institute of Technology
Sign in | Create Account

Videos tagged with sat (3)


Lecture 11 - Formal Verification of Control Logic in the Reveal System (Karem Sakallah)

Lecture 11 - Formal Verification of...

HawaiiJohnCollection

Added 3 years ago | 00:52:17 | 5908 views

Lecture 10 - CVC3 and Applications (Clark Barrett)

Lecture 10 - CVC3 and Applications ...

HawaiiJohnCollection

Added 3 years ago | 00:47:08 | 6047 views

Lecture 9 - Parallel and Selective Symbolic Execution (George Candea)

Lecture 9 - Parallel and Selective ...

HawaiiJohnCollection

Added 3 years ago | 01:14:00 | 6907 views