Runtime VerificationTake Kontrol of your code and formally verify with Runtime VerificationTake Kontrol of your code and formally verify with Runtime VerificationWeb interface & Compute power for formal verification proofs
about
  • Company
  • Team
  • Videos
services
  • Design Review
  • Audits
  • Fuzzing
  • Formal Verification
tools
  • K Framework
  • KaaS
  • Komet
  • Kontrol
  • Simbolik
research
blog
Contact Us

Author: ERCx

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
Testing ERC-20 Tokens Part 2: Advancing Benchmarking with Mutation Testing
Testing ERC-20 Tokens Part 2: Advancing Benchmarking with Mutation Testing
by ERCx
January 29th, 2024
Read MoreERCx
Towards a Comprehensive ERC Test Suite
Towards a Comprehensive ERC Test Suite
by ERCx
October 30th, 2023
Read MoreERCx
Is my ERC-4626 vault token up to the standard?
Is my ERC-4626 vault token up to the standard?
by ERCx
October 1st, 2023
Read MoreERCx
Introducing ERCx: Conformance and Property-checking for ERC Tokens
Introducing ERCx: Conformance and Property-checking for ERC Tokens
by ERCx
June 15th, 2023
Read MoreERCx
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEventsSecurity ConsultingEcosystem SecurityERCxFAQ
Runtime Verification logo

2770 Spanish Trail Rd, Moab, UT 84532

2026 © all rights reserved | privacy policy | terms of use

GitHub logoDiscord logoTwitter logoYouTube logoLinkedin logo