EPISODE · Feb 15, 2023 · 1H 10M
#28 Formally Verifying Smart Contracts - Pruvendo
from Type Theory Forall · host Pedro Abreu
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
Embed this episode
NOW PLAYING
#28 Formally Verifying Smart Contracts - Pruvendo
0:00
1:10:40
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Type Theory Forall?
This episode is 1 hour and 10 minutes long.
When was this Type Theory Forall episode published?
This episode was published on February 15, 2023.
Can I download this Type Theory Forall episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!