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.
- Model-based Safety and Security Analysis in High-Consequence System Development – Dr. John Colley, University Southampton
- Viewing Formal Through Simulation-Tinted Glasses— Christian Burisch, OneSpinSolutions
- Verifying Safety-Specification Compliance of RTL Designs— Holger Busch, Infineon Technologies
- Deep State Space Bug Hunting— Asa Ben-Tzur, Cadence
- Using Abstractions for Effective Formal: Lessons from the Trenches — Dr. Ashish Darbari, Imagination
- Better Living Through Formal — Alex Orr, Broadcom
- Instant Formal Expert — Abdelouahab Ayari, Mentor Graphics
- Formal Verification – Security Checking — Elchanan Rappaport, Gila Logic
The Presentation Slides and Recordings are available here