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
  • FAQ
services
  • Formal Verification
  • Smart Contract Auditing
  • Ecosystem Security
  • Security Consulting
products
  • ERCx
  • K
  • KaaS
  • Kasmer
  • Kontrol
  • Simbolik
research
blog
CONTACT US

Author: Brian Marick

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
Formal Verification of ERC20 Contracts
Formal Verification of ERC20 Contracts
by Brian Marick
August 15th, 2018
Read MoreBrian Marick
Symbolic execution and smart contracts
Symbolic execution and smart contracts
by Brian Marick
August 7th, 2018
Read MoreBrian Marick
How Formal Verification of Smart Contracts Works
How Formal Verification of Smart Contracts Works
by Brian Marick
July 20th, 2018
Read MoreBrian Marick
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEvents
Runtime Verification logo

202 S Broadway Ave #31, Urbana, IL

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

GitHub logoDiscord logoTelegram logoTwitter logoMedium logoYouTube logoFacebook logoLinkedin logoCryptoJobsList logo