All blog posts
![Formal Verification Lore Intuitive Intro to Why We Can Prove Programs Correct](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fruntime_verification_logo_black_957e882be7.png&w=640&q=75)
Formal Verification Lore Intuitive Intro to Why We Can Prove Programs Correct
by Juan Conejero
April 2nd, 2024![Runtime Verification Audits Band Protocol’s Rust Implementation of the Band StandardReference Soroban Smart Contract](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fband_logo_feafbbe126.png&w=640&q=75)
Runtime Verification Audits Band Protocol’s Rust Implementation of the Band StandardReference Soroban Smart Contract
by Runtime Verification
March 29th, 2024![Testing ERC-20 Tokens Part 2: Advancing Benchmarking with Mutation Testing](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ferc_x_logo_updated_193a835930.png&w=640&q=75)
![Runtime Verification audits MultiversX’s Multi Asynchronous Calls](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fmultiversx_dark_f750dab64b.png&w=640&q=75)
Runtime Verification audits MultiversX’s Multi Asynchronous Calls
by Runtime Verification
January 15th, 2024![Introducing KMIR: concrete and symbolic execution of Rust MIR](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fruntime_verification_logo_black_957e882be7.png&w=640&q=75)
![Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FR_Vcertora_bb3b39a02f.png&w=640&q=75)
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023![Runtime Verification audits Zivoe’s Core and Locker Contracts](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FZivoe_Logo_Transparent_Background_1c778aef12.png&w=640&q=75)
Runtime Verification audits Zivoe’s Core and Locker Contracts
by Runtime Verification
October 17th, 2023![Runtime Verification Launches a Registered Algorand Relay Node](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
![Runtime Verification conducts a design audit on Zorp’s Eden zkVM](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fzorp_33aefbc238.png&w=640&q=75)
Runtime Verification conducts a design audit on Zorp’s Eden zkVM
by Runtime Verification
July 31st, 2023![Modernizing K: Enhancing Functionality and Ease of Use](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fruntime_verification_logo_black_957e882be7.png&w=640&q=75)
Runtime Verification audits Ojo’s Node, Price Feeder and Smart Contract
by Runtime Verification
June 14th, 2023![Runtime Verification audits the Proof of Neutrality Network](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FFull_Color_1_bda8717582.png&w=640&q=75)
How audits can optimize code base: Term Finance “clearing price” algorithm
by Runtime Verification & Term Labs
May 9th, 2023