« Galois, Inc. Wins Three Department of Energy Small Business Research Awards | Main | Tech Talk Video: Requirement and Performance of Data Intensive, Irregular Applications »

Tech talk video: PReach – A Distributed Murphi-Based Model Checker

We are pleased to announce the availability of a new Galois tech talk video: "PReach - A Distributed Murphi-Based Model Checker", presented by John Erickson. More details about the talk are available on the announcement page.

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