Formal bytes: The Axiomise Podcast Channel
A podcast by Axiomise
![](https://is3-ssl.mzstatic.com/image/thumb/Podcasts125/v4/20/af/eb/20afeb9f-24e4-d366-6fa1-9872065e1a81/mza_12528572800365096954.png/300x300bb-75.jpg)
Categories:
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.