CertoraInit Repository
This repository provides a fully functional skeleton for integrating with Certora. Please note that formal verification can be highly resource intensive, and complex proofs may quickly become intractable. A community of experts exists which can help guide you. We welcome you to contact us via Discord Help-Desk channel for help integrating formal methods into your project.
The workflow file in this repository is completely integrated with Certora. To see an example of the output of formal verification, see the Github checks on this repository.
This skeleton may also be used as a starting point for adding formal verification to another project.
You will need to provide your secret CERTORAKEY to Github,
which can be obtained by joining Certora Service, either through submitting an enquiry to ea@certora.com
or via our web.
Detailed guide for Certora Prover installation.
To run the checks from the command line, install the Python SDK and Prover Tool and run from this directory:
certoraRun ./certora/conf/default.conf
See more CVL specification general examples.
Try out our official Beta version of VSCode Extension, allowing easier and more convenient access to the impressive capabilities of the Certora Prover.