Informal Systems

Entity Type
Founding Date

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.


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.