Category: Smart Contracts
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023Runtime Verification becomes Algorand Foundation’s security partner
by Runtime Verification
December 9th, 2021K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Stephen Skeirik
December 11th, 2020K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Stephen Skeirik
November 2nd, 2020KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
by Rikard Hjort
March 26th, 2020Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Stephen Skeirik
March 10th, 2020Formal Verification 101 for Blockchain Systems and Smart Contracts
by Stephen Skeirik
February 18th, 2020End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
January 20th, 2020Runtime Verification goes multinational by opening Bucharest based subsidiary
by Patrick MacKay
November 27th, 2018