Mark Handover of Mentor graphics, recently spoke on “Doing ¬†Formal the Right Way” at the Formal Verification Conference.

The recordings and slides are now available here.