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.
Notify me of follow-up comments via email.
Copyright © 2013 Galois, Inc. All rights reserved.
Terms and Conditions