Category: Tooling
![Kontrol Integrated Verification of the Optimism Pausability Mechanism](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FBFA_832_D7_AB_77_42_A8_A88_E_E395_B9_B9_CFA_6_273641f95d.png&w=640&q=75)
Kontrol Integrated Verification of the Optimism Pausability Mechanism
by Runtime Verification
May 16th, 2024![Runtime Verification Hosts EthCluj Workshop on Formal Methods](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fruntime_verification_logo_black_957e882be7.png&w=640&q=75)
![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, 2023Company
Resources
Connect
Mission and Vision|Presentations|Careers|News|Publications|Partnerships|Media Kit|Events