Runtime Verification Inc. is a startup that uses formal methods to enhance the safety, reliability, and correctness of computing systems, including those in the aerospace, automotive, and blockchain industries. They work with infrastructure builders to provide testing and verification services, and have clients in both the embedded systems and blockchain sectors, including Ethereum, Cosmos, and Polkadot.