formal-verification
Formal verification of smart contracts in the ConCert framework
Hey! My name’s Kirill Ziborov and I’m a member of the Positive Web3 Team. In this article, I would like to discuss methods and tools for the formal verification of smart contracts ...
