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