Informal Systems
- Canada
- https://informal.systems
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Informal is a core contributor to Cosmos, where we develop interoperable blockchain systems by heavily relying on formal verification tools and techniques.