Extending the Formal-based Ecosystem – Refreshing the parts other formal tools can’t reach

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.

2015-06-17T05:34:29+00:0017th June, 2015|Active Event, Blog, Events|