![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#28 Formally Verifying Smart Contracts - Pruvendo
Type Theory Forall
English - February 15, 2023 16:00 - 1 hour - 51.9 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #27 Formalizing an OS: The seL4 - Gerwin Klein
In this episode we host another company that does formal method in the
context of the Everscale Blockchain, and Solidity smart contracts.
How and why they use formal methods in this context? Who are their clients?
What are the caveats?
Links