Using Certora Prover for formal verification of smart contracts: methodology and case study

This presentation introduces our team's experience in applying formal verification methods with an emphasis on using Certora Prover—an advanced tool for semi-automated analysis and increasing the security of smart contracts. We will take an in-depth look at the key features and advantages of Certora Prover and the verification methodology, and share practical results of its application using real smart contracts as examples. Special attention will be paid to identifying and eliminating potential vulnerabilities with an emphasis on the importance of formal verification for strengthening trust in blockchain technologies—in the financial sector and beyond. Sergey Sobolev Positive Technologies

Видео Using Certora Prover for formal verification of smart contracts: methodology and case study автора Программное обеспечение для науки