ERCX token verifier logo
about
  • Company
  • Mission and Vision
  • News
  • Team
  • Careers
  • Publications
  • Presentations
  • Videos
  • FAQ
products
  • K
  • Firefly
  • ERCx
  • Embedded Systems
solutions
  • Blockchain Advisory Services
  • Smart Contract Verification
  • Smart Contract Analysis
  • NFT Checker
  • Protocol Verification
  • Formal Design and Modeling
  • The IELE Virtual Machine
  • Partnerships
    • Partnerships
    • Algorand
    • Urbit
research
events
  • Formal Verification in the Ethereum Ecosystem
  • Arepas, Cumbia and Security
contact
  • Contact Us
  • Media Kit
blog
  • All
  • Categories
    • Audits
    • K
    • News
    • Smart Contracts
    • Software Development
    • Verification
    • RV-Match
    • RV-Monitor
    • RV-Predict
  • Partners
    • Algorand
    • Cosmos
    • Elrond
    • Ethereum
    • IOHK
    • PlatON
    • Tezos

Category: Tooling

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
Runtime Verification logo

333 North Green Street, Chicago, IL

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

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logo