Informal Systems
Informal Systems is a research and development institution that applies open-source, plaintext, and version control philosophies to develop tools to better manage the complexities of human organizations. It offers basic and applied research, software development, consulting, and education. The firm primarily focuses on the intersection of formal verification and distributed systems, with an emphasis on blockchain technology.
PRODUCTS
Blockchain Infrastructure
Informal Systems is a leading contributor to the Tendermint and Cosmos projects, focused on formally verifiable implementations in Rust.
Formal Verification Tools
Informal Systems develops tools for formal verification of distributed systems protocols and implementations.