Hey! My name's Kirill Ziborov and I'm a member of the Distributed System Security team at Positive Technologies. In this article, I'll be continuing the discussion of methods and tools for the formal verification of smart contracts and their practical application to prevent vulnerabilities. The main focus will be on the deductive verification method, or more precisely, the ConCert framework for testing and verifying smart contracts.
Authors' contribution
alizar 21437.3ptsecurity 9331.0marks 9200.7LukaSafonov 6209.0GlobalSign_admin 5806.9ValdikSS 5478.6Kaspersky_Lab 5037.9esetnod32 3275.0zhovner 2947.0ru_vds 2910.3