Web3 Galaxy Brain 🌌🧠 cover image

Paul Razvan Berg of Sablier

Web3 Galaxy Brain 🌌🧠

00:00

Formal Verification in Solidity

The chapter explores the concept of formal verification in software testing and its application in writing tests for contracts. It discusses different tools and frameworks for formal verification in Solidity and provides insights into the built-in formal verification system in the language.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app