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!
- Created
- August 23, 2011 15:14
- Category
- Tags
- License
- All Rights Reserved (What is this?)
- Formats
- H.264 Video (mp4), wmv
- Additional Files
- Viewed
- 6176 times
More from HawaiiJohnCollection
Lecture 12 - SAT Based Design Debug...
Added over 1 year ago | 00:50:11 | 3093 views
Lecture 11 - Formal Verification of...
Added over 1 year ago | 00:52:17 | 5451 views
Lecture 13 - Yices and Applications...
Added over 1 year ago | 00:46:58 | 3456 views
Lecture 10 - CVC3 and Applications ...
Added over 1 year ago | 00:47:08 | 5601 views
Lecture 4 - SMTLIB initiative (Cesa...
Added almost 2 years ago | 01:09:00 | 1 view | private