Providing Certora Formal Verification
Nothing here yet.
Mar 19, 2025 · 17 min read · Introduction This article originally was published about one year ago (in Jan 2024). I’ve slightly edited it and fixed sources to support the latest (7.26.0) Prover version. In 2023, I got involved in formal verification by joining Certora community ...
Join discussion
Feb 25, 2025 · 6 min read · What are Certora contests? How do they differ from standard audit competitions? How do you get started? Are there any specific nuances? You’ll find the answers to all of these questions here. At the time of writing this article, I’ve participated in ...
AAnthony commented
Feb 20, 2025 · 5 min read · Intro Curious about Certora Formal Verification but unsure where to begin? This tutorial provides a step-by-step setup and a powerful five-line rule for catching a very common class of storage-related bugs. It’s illustrated with a real issue discover...
AAnthony commented