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 3 years ago | 00:52:17 | 5829 views

Lecture 10 - CVC3 and Applications (Clark Barrett)

Lecture 10 - CVC3 and Applications ...

HawaiiJohnCollection

Added almost 3 years ago | 00:47:08 | 5928 views

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

Lecture 9 - Parallel and Selective ...

HawaiiJohnCollection

Added almost 3 years ago | 01:14:00 | 6772 views