« HTML5 is Paving the Way for Semantically Aware Tools | Main | Tech Talk: Efficient Implementation of Property Directed Reachability »

Tech talk video: Efficient Implementation of Property Directed Reachability

We are pleased to announced the availability of a new tech talk video, Alan Mishchenko talking about an efficient implementation of a novel model checking technique. For more information, please visit the talk announcement page.

For more Galois tech talk videos, please visit our Vimeo channel.

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):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>