The Presentation Slides and Recordings of Formal Verification Conference 2016 are available now!

T&VS organized a Formal Verification Conference on 16 June 2016.  Speakers were from Mentor Graphics, University Southampton, OneSpinSolutions, Infineon, Cadence, Imagination, Gila Logic, and Broadcom and the presentations are now available on the T&VS website.

The Presentation Slides and Recordings are available here