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 almost 4 years ago | 00:52:17 | 6267 views

Lecture 10 - CVC3 and Applications (Clark Barrett)

Lecture 10 - CVC3 and Applications ...

HawaiiJohnCollection

Added almost 4 years ago | 00:47:08 | 6470 views

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

Lecture 9 - Parallel and Selective ...

HawaiiJohnCollection

Added almost 4 years ago | 01:14:00 | 7485 views