Prove the correctness of smart contracts compiled for the Ethereum and Cardano virtual machines
Increase confidence in the correctness and security of the decentralized system powered by your protocol
Receive targeted advice from an RV senior engineer on the verification topic of your choice: smart contracts, tokens, protocols, or virtual machines
Firefly is a set of quality assurance tools for Ethereum smart contracts aimed to help developers before the audit and formal verification stages
Check your token’s full functional compliance with the ERC20 standard (the approve, transfer and transferFrom functions), before deploying it on mainnet
IELE is a virtual machine (VM) for smart contracts, an evolutionary step beyond the Ethereum Virtual Machine (EVM)
K-Michelson: a Case Study on Formal, Executable Language Specification
by Stephen Skeirik
December 11, 2020
Runtime Verification completes another successful engagement with PlatON Networks
by Bogdan Stanciu
October 26, 2020
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Stephen Skeirik
February 18, 2020
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
Janurary 20, 2020
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by Musab Alturki
June 18, 2019