zapaz

Engage a Certora expert to help you define and prove properties on your protocol with Formal Verification.

Best practice is to define properties during the conception phase before development, then develop your smartcontracts, while proving your properties in your CI/CD process... an evolution of Test Driven Development (TDD).

Format Audits can also be performed after deployment, with your input to define all the important properties to prove on your protocol.