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.
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.