Informal Systems AG

Our mission is to bring verifiability to distributed systems and organizations.

Distributed software systems are the foundation for many critical systems in our society; financial services, transport, healthcare, cloud services, and more. Building and maintaining them is difficult, expensive, and error-prone. We’re applying state of the art techniques in formal verification to make distributed systems more verifiable by obtaining mathematical proofs of correctness. We help teams verify and gain confidence in the systems they design, implement, and maintain.