All blog posts
Formal Verification Lore Intuitive Intro to Why We Can Prove Programs Correct
by Juan Conejero
April 2nd, 2024Runtime Verification Audits Band Protocol’s Rust Implementation of the Band StandardReference Soroban Smart Contract
by Runtime Verification
March 29th, 2024Runtime Verification audits MultiversX’s Multi Asynchronous Calls
by Runtime Verification
January 15th, 2024Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023Runtime Verification audits Zivoe’s Core and Locker Contracts
by Runtime Verification
October 17th, 2023Runtime Verification conducts a design audit on Zorp’s Eden zkVM
by Runtime Verification
July 31st, 2023Runtime Verification audits Ojo’s Node, Price Feeder and Smart Contract
by Runtime Verification
June 14th, 2023How audits can optimize code base: Term Finance “clearing price” algorithm
by Runtime Verification & Term Labs
May 9th, 2023