« Tech talk: Program Inconsistency Detection using Weakest Preconditions | Main | Quick authentication using mobile devices and QR Codes »
Thursday
Jan132011

Tech Talk Video: Control Flow Graph-guided Exploration in DDT

We are pleased to announce the availability of a new Galois tech talk video: “Control Flow Graph-guided Exploration in DDT", presented by Rebekah Leslie.  More details about the talk are available on the announcement page.



Control Flow Graph-guided Exploration in DDT from Galois Video on Vimeo.


 


For more videos, please visit http://vimeo.com/channels/galois.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Post:
 
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>