Category: Smart Contracts
![Testing ERC-20 Tokens Part 2: Advancing Benchmarking with Mutation Testing](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ferc_x_logo_updated_193a835930.png&w=640&q=75)
![Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FR_Vcertora_bb3b39a02f.png&w=640&q=75)
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023![Using Foundry to Explore Upgradeable Contracts (Part 1)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![Runtime Verification becomes Algorand Foundation’s security partner](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Runtime Verification becomes Algorand Foundation’s security partner
by Runtime Verification
December 9th, 2021![K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ftezos_a4b3164e7a.png&w=640&q=75)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Stephen Skeirik
December 11th, 2020![K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ftezos_a4b3164e7a.png&w=640&q=75)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Stephen Skeirik
November 2nd, 2020![KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fgitcoin_logo_horizontal_light_815f7a6f61.png&w=640&q=75)
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
by Rikard Hjort
March 26th, 2020![Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Stephen Skeirik
March 10th, 2020![Formal Verification 101 for Blockchain Systems and Smart Contracts](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Stephen Skeirik
February 18th, 2020![End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
January 20th, 2020![The RV Bounded Model Checker - A lightweight semantics-based tool](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![Runtime Verification goes multinational by opening Bucharest based subsidiary](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Runtime Verification goes multinational by opening Bucharest based subsidiary
by Patrick MacKay
November 27th, 2018