#28 Formally Verifying Smart Contracts - Pruvendo

Type Theory Forall - En podkast av Pedro Abreu

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Teknologi

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 Pruvendo’s Website Pruvendo’s Linkdin Pruvendo’s Twitter

Visit the podcast's native language site