Quint

Executable specs for reliable systems. 
 
Understand what you're building, drive AI with precision, and verify its output. 
 
By @informalinc