About Runtime Verification logoWe Love Formal Methods

Runtime Verification website hero

Welcome to the Runtime Verification blog. We have been working in the web3 security space since 2018 and we love to share what we have learned. Our blog posts are a great way to learn about our audits and formal verification engagements with web3 protocols for readers that may find the audit reports too long or technical.

Our authors write about progress on our tooling - ERCx, Kontrol and Simbolik, all of which are designed and maintain with the goal of helping developers and users interact with blockchains more securely. Dive in and learn with us, and if you have any questions contact us.

Formally Verifying Loops: Part 1
Formally Verifying Loops: Part 1
by Raoul Schaffranek
September 26th, 2024
KMIR: Progress Update
KMIR: Progress Update
by Daniel Cumming
September 13th, 2024
Kontrol 101
Kontrol 101
by Yale Vinson
March 28th, 2024
Runtime Verification audits Synonym Finance
Runtime Verification audits Synonym Finance
by Runtime Verification
March 1st, 2024
Testing ERC-20 Tokens Part 1:  An Arsenal for Bug Detection
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023