Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Informal Systems has raised $5.3M in total funding. The most recent round was Convertible Note. The last funding was announced in June 2023.
Informal Systems's investors include CMCC Global, CMT Digital, Maven 11 Capital, Nascent, Cerulean Ventures.
Informal Systems is headquartered in Toronto, Canada.
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Informal Systems is at the Convertible Note stage.
Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated .
"Informal Systems — Funding & Investors." VCBacked, June 7, 2023, https://www.vcbacked.co/company/informal-systems. Accessed August 14, 2026.
VCBacked. (2023). Informal Systems — Funding & Investors. Retrieved August 14, 2026, from https://www.vcbacked.co/company/informal-systems
{{cite web |title=Informal Systems — Funding & Investors |url=https://www.vcbacked.co/company/informal-systems |website=VCBacked |access-date=August 14, 2026}}Profile data sourced and verified per the VCbacked methodology · Last funding round dated