Category: Verification

Using Foundry to Explore Upgradeable Contracts (Part 1)
Read MoreDavid Kretzmer
Warning: Code Can Be Explosive
Warning: Code Can Be Explosive
by Adam Fiedler
October 11th, 2022
Read MoreAdam Fiedler
Foundry: Gen 2 of Ethereum Tooling
Foundry: Gen 2 of Ethereum Tooling
by Runtime Verification
October 5th, 2022
Read MoreRV
Dexter 2’s Formal Verification
Dexter 2’s Formal Verification
by Runtime Verification
July 21st, 2021
Read MoreRV
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
Read MoreStephen Skeirik
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
Read MoreStephen Skeirik
Runtime Verification completes another successful engagement with PlatON Networks
Read MoreBogdan Stanciu
Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
Read MoreMusab Alturki
Formal Verification Framework for Michelson
Formal Verification Framework for Michelson
by Stephen Skeirik
July 27th, 2020
Read MoreStephen Skeirik
Formally Verifying Finality in Gasper: The Core of the Beacon Chain
Read MoreMusab Alturki
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
Read MoreRikard Hjort
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
Read MoreStephen Skeirik
Runtime Verification enters a protocol verification agreement with PlatON
Read MoreBogdan Stanciu
Formal Verification 101 for Blockchain Systems and Smart Contracts
Read MoreStephen Skeirik
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
Read MoreDaejun Park
K vs. Coq as Language Verification Frameworks (Part 3 of 3)
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 2 of 3)
Read MoreMusab Alturki
K vs. Coq as Language Verification Frameworks (Part 1 of 3)
Read MoreMusab Alturki
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
Read MoreMusab Alturki
The RV Bounded Model Checker - A lightweight semantics-based tool
Read MoreYi Zhang
How Formal Verification Could Help to Prevent Gridlock Bug
Read MoreDaejun Park
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
Read MoreMusab Alturki
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
Read MoreDaejun Park
Runtime Verification goes multinational by opening Bucharest based subsidiary
Read MorePatrick MacKay