Tech talk video: Efficient Implementation of Property Directed Reachability

  • Date  Time
  • Speaker
  • Location

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.