Runtime Verification Inc. is a technology company headquartered in the USA with staff spread across the globe, including Europe, South America, and Southeast Asia. We provide testing and verification services to public and private companies in the embedded and blockchain domains.