Type Theory Forall

#28 Formally Verifying Smart Contracts - Pruvendo

71 min • 15 februari 2023

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

Senaste avsnitt

Podcastbild

00:00 -00:00
00:00 -00:00