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.