Industry & Hardware

Informal Systems

Canada

seed

Stage

Investors

About

Informal Systems is a research and development company focused on formal verification of distributed systems, particularly blockchain protocols, to improve their correctness and reliability.

Explore Informal Systems's full profile on Brouky

Funding rounds, investor list, and risk signals — unlock with a subscription.