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: Stephen Skeirik

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Runtime Verification
December 11th, 2020
Read MoreRV
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Runtime Verification
November 2nd, 2020
Read MoreRV
Formal Verification Framework for Michelson
Formal Verification Framework for Michelson
by Runtime Verification
July 27th, 2020
Read MoreRV
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Runtime Verification
March 10th, 2020
Read MoreRV
Formal Verification 101 for Blockchain Systems and Smart Contracts
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Runtime Verification
February 18th, 2020
Read MoreRV
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