Securing your protocol with the Certora Prover

Name: Securing your protocol with the Certora Prover
Uploaded: 2025-07-02T12:35:00.000Z
Description: A hands-on workshop introducing formal verification with the Certora Prover. Learn how to write specifications, run rules, and find bugs before they hit production.

A hands-on workshop introducing formal verification with the Certora Prover. Learn how to write specifications, run rules, and find bugs before they hit production.

Speaker