Author: Runtime Verification & Certora
![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