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

Partner: PlatON

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
Runtime Verification completes another successful engagement with PlatON Networks
Runtime Verification completes another successful engagement with PlatON Networks
by Bogdan Stanciu
October 26th, 2020
Read MoreBogdan Stanciu
Runtime Verification enters a protocol verification agreement with PlatON
Runtime Verification enters a protocol verification agreement with PlatON
by Bogdan Stanciu
March 9th, 2020
Read MoreBogdan Stanciu
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