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.