#28 Formally Verifying Smart Contracts - Pruvendo
Type Theory Forall
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
Next Episodes
#27 Formalizing an OS: The seL4 - Gerwin Klein @ Type Theory Forall
📆 2023-02-04 21:45 / ⌛ 01:58:40
#26 Mechanizing Modern Mathematics - Kevin Buzzard @ Type Theory Forall
📆 2023-01-16 19:30 / ⌛ 02:15:31
#25 Formally Verifying the Tezos Codebase - Formal Land @ Type Theory Forall
📆 2022-11-21 15:05 / ⌛ 01:01:32
#24 The History of Isabelle - Lawrence Paulson @ Type Theory Forall
📆 2022-10-06 23:05 / ⌛ 01:38:02
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich @ Type Theory Forall
📆 2022-09-24 13:15 / ⌛ 01:13:05