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

  • Date Thursday, January 1, 1970  Time
  • Speaker
  • Location