Informal Systems Email Format
Software DevelopmentOntario, Canada51-200 Employees
Our mission is to foster trust in software and money, two systems the world increasingly depends on. We do this through Quint (https://quint-lang.org/), a specification language for designing reliable distributed systems, and Cycles (https://cycles.money/), a clearing protocol for real-world payments.