formal verification
formal verification
Category
Business Description
Informal Systems is a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. They are a core contributor to the Cosmos Network and work on bold problems at the intersection of formal verification and high-value distributed infrastructure that powers the Cosmos Network, the Internet of Blockchains.