Firefly is a tool for helping Ethereum smart contract developers visualize and discover holes in the existing test-set, and guide them towards full coverage of their contract.
Blockchain Advisory Services
Receive targeted advice from an RV senior engineer on the verification topic of your choice: smart contracts, tokens, protocols, or virtual machines.
Smart Contract Verification
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.
|Jul 28 2020||Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem|
|Jul 27 2020||Formal Verification Framework for Michelson|
|Jul 15 2020||Formally Verifying Finality in Gasper: The Core of the Beacon Chain|
|Mar 26 2020||KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0|
K lets you design the formal semantics of your programming language in a modular and intuitive way, then uses the semantics to generate a suite of language tools including a parser, execution engine, symbolic execution engine, state-space explorer, and even a program verifier.Read more