Author: Runtime Verification & Certora

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection
by Runtime Verification & Certora
October 18th, 2023
Read MoreRuntime Verification & Certora
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEventsSecurity ConsultingEcosystem SecurityERCxFAQ