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.
Making your products more Reliable, Safe and Secure
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.