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
Warning: Code Can Be Explosive
Warning: Code Can Be Explosive
by Adam Fiedler
October 11th, 2022
Foundry: Gen 2 of Ethereum Tooling
Foundry: Gen 2 of Ethereum Tooling
by Runtime Verification
October 5th, 2022
Dexter 2’s Formal Verification
Dexter 2’s Formal Verification
by Runtime Verification
July 21st, 2021