and integrate into existing workflows. We believe every software engineer should have access to the power of formal methods... development of a more modern approach to formal specification and model checking designed to delight software engineers...
Informal Systems