Informal Systems

Informal Systems is a research and software development company — organized as a worker co-operative — focused on building reliable distributed systems through formal methods and verification. Spun out of the Cosmos/Tendermint ecosystem, it created the Quint formal specification language, the Choreo distributed-systems choreography framework, and Malachite, a high-performance BFT consensus engine. The company applies formal specification and verification tools to real-world distributed systems challenges, with funding primarily through Interchain Foundation grants.