Category: Smart Contracts

GitHub Guidelines For Collaborative Coding
GitHub Guidelines For Collaborative Coding
by Runtime Verification
February 10th, 2023
Read MoreRV
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
Runtime Verification becomes Algorand Foundation’s security partner
Read MoreRV
Security Risks for Staking Providers
Security Risks for Staking Providers
by Runtime Verification
July 2nd, 2021
Read MoreRV
Cosmos modules documentation
Cosmos modules documentation
by Runtime Verification
May 4th, 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
Formal Verification Framework for Michelson
Formal Verification Framework for Michelson
by Stephen Skeirik
July 27th, 2020
Read MoreStephen Skeirik
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
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
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
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
ERC777-K: Formal Executable Specification of ERC777
ERC777-K: Formal Executable Specification of ERC777
by Denis Bogdănaș
September 21st, 2018
Read MoreDenis Bogdănaș
Formal Verification of ERC20 Contracts
Formal Verification of ERC20 Contracts
by Brian Marick
August 15th, 2018
Read MoreBrian Marick
Symbolic execution and smart contracts
Symbolic execution and smart contracts
by Brian Marick
August 7th, 2018
Read MoreBrian Marick
How Formal Verification of Smart Contracts Works
Read MoreBrian Marick