Partner: Algorand
Runtime Verification audits Hone’s Liquid Staking protocol
by Runtime Verification
September 1st, 2022
Runtime Verification audits Pact’s Stableswap AMM smart contract
by Runtime Verification
August 23rd, 2022
Runtime Verification audits EXA Finance’s Baskets smart contract
by Runtime Verification
May 31st, 2022
Runtime Verification audits Yieldly's Multi-token Staking Pool
by Runtime Verification
February 3rd, 2022Runtime Verification becomes Algorand Foundation’s security partner
by Runtime Verification
December 9th, 2021Runtime Verification audits the Rewards Contracts of Algorand's Community Governance
by Runtime Verification
October 11th, 2021
Runtime Verification audits XET token and its deployment script
by Runtime Verification
July 19th, 2021Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
by Musab Alturki
July 28th, 2020Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by Musab Alturki
June 18th, 2019