Category: Audits
Runtime Verification audits Element’s Finance Governance Protocol
By Runtime VerificationNovember 4th, 2021
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification audits the Rewards Contracts of Algorand's Community Governance
By Runtime VerificationOctober 11th, 2021
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification Audits Tinyman
By Runtime VerificationSeptember 22nd, 2021
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification audits XET token and its deployment script
By Runtime VerificationJuly 19th, 2021
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
