Formal verification of #Solidity smart contracts in the #ConCert framework.
https://blog.positive.com/formal-verification-of-smart-contracts-in-the-concert-framework-e04ce79ddc09
#coq #web3 #web3security
https://blog.positive.com/formal-verification-of-smart-contracts-in-the-concert-framework-e04ce79ddc09
#coq #web3 #web3security
Medium
Formal verification of smart contracts in the ConCert framework
In this article, I would like to discuss methods and tools for the formal verification of smart contracts…
👍3🔥3🙏3👏1
New #Web3Security Conf 😎
🚀 Call for Papers is Open!
🎉 We pay for flight and lodging for speakers!
Join us at Positive Hack Days 2025 in Luzhniki, Moscow – the biggest cybersecurity event!
📅 May 22-24, 2025
🔹 Hardcore Web3 security talks from top experts
🔹 A truly global, multicultural conference on Web3 security
🔹 CTF competition focused on #Web3 challenges
🔹 Part of the largest cybersecurity festival – #PHDays
🔗 Submit your paper: cfp.phdays.com
Let’s push Web3 security to the next level! 🚀
🚀 Call for Papers is Open!
🎉 We pay for flight and lodging for speakers!
Join us at Positive Hack Days 2025 in Luzhniki, Moscow – the biggest cybersecurity event!
📅 May 22-24, 2025
🔹 Hardcore Web3 security talks from top experts
🔹 A truly global, multicultural conference on Web3 security
🔹 CTF competition focused on #Web3 challenges
🔹 Part of the largest cybersecurity festival – #PHDays
🔗 Submit your paper: cfp.phdays.com
Let’s push Web3 security to the next level! 🚀
👍5🔥3❤1