Informal Systems

Informal Systems is a well-funded startup that is building the formal verification and infrastructure software needed to make blockchains reliable and secure. The company's products are used by major players in the blockchain industry, including the Cosmos Network. Informal Systems' mission is to make blockchains reliable and secure, so that they can be used for critical applications such as security, finance, and healthcare.