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.