Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#28 Formally Verifying Smart Contracts

Pruvendo

Apr 11th 2024   |  71 min
0:00
0:00

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