![](https://cdn.prod.website-files.com/63610769a12ca8b167ecebcf/65b32636ddfdea55135689b9_Runtime_Verification_and_IOHK_Launch_Virtual_Machine_for_Blockchains.jpeg)
Runtime Verification
https://runtimeverification.com/Runtime Verification Inc. helps developers make safe and reliable software that runs on automobiles, airplanes, spacecraft, and the blockchain. Our technology is state-of-the-art. We employ leading experts in programming languages, formal methods, and software engineering.