Abdelouahab Ayari of Mentor Graphics, presented on the fundamentals as well as the recent breakthroughs that are driving advances in performance and capacity to instantly become a formal expert at the Formal Verification Conference on 16 June 2016.

Find out the Presentation Slides and Recordings here