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.