7.6K
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
Apr 4, 2020
Apr 4, 2020
16 min
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!