David Kelf of One Spin Solution recently spoke on “Extending the Formal-based Ecosystem – Refreshing the parts other formal tools can’t reach” at the Formal verification conference.
The slides are now available here.
David Kelf of One Spin Solution recently spoke on “Extending the Formal-based Ecosystem – Refreshing the parts other formal tools can’t reach” at the Formal verification conference.
The slides are now available here.