Massachusetts Institute of Technology
Sign in | Create Account

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

Comments (0)

It looks like no one has posted a comment yet. You can be the first!

You need to log in, in order to post comments. If you don’t have an account yet, sign up now!

HawaiiJohnCollection

HawaiiJohnCollection

Updated 3 years ago

Created
August 23, 2011 15:14
Category
Tags
License
All Rights Reserved (What is this?)
Additional Files


Viewed
6946 times

More from HawaiiJohnCollection

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

Lecture 11 - Formal Verification of...

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

Lecture 13 - Yices and Applications (Bruno Dutertre)

Lecture 13 - Yices and Applications...

Added 3 years ago | 00:46:58 | 3844 views

Lecture 10 - CVC3 and Applications (Clark Barrett)

Lecture 10 - CVC3 and Applications ...

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

Lecture 12 - SAT Based Design Debugging (Sharad Malik)

Lecture 12 - SAT Based Design Debug...

Added 3 years ago | 00:50:11 | 3471 views