Chicago, United States
Runtime Verification Inc aims to enhance the safety, reliability, and correctness of computing systems in critical sectors such as aerospace, automotive, and the blockchain. Founded in 2010 and headquartered in the United States, the company leverages formal methods for system verification, which is critical for sectors demanding high security standards.
In its most recent funding round on June 30, 2021, Runtime Verification secured a $5.30M Series A investment. This funding round was supported by notable investors including Fenbushi Capital, Borderless Capital, cFund, Hypersphere Ventures, IOSG, Maven 11, Tezos Foundation, Elrond, and Wave Digital Assets. With a solid foundation and financial backing, Runtime Verification is strategically positioned to continue innovating in the Information Technology and Privacy and Security industries.
Cryspen
OCamlPro