6.9K
Downloads
50
Episodes
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
Episodes
Saturday Apr 04, 2020
Saturday Apr 04, 2020
We describe what are the key factors to maximise verification ROI, focusing on Axiomise formal verification and how we can improve the return-on-investment.
No comments yet. Be the first to say something!