Modeling Software With Quint - Zicklag's Leaflets

I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…

Quint: executable specifications for reliable systems

Quint is an executable specification language: a modern TLA+ alternative for software engineers. Write specs you can run, simulate, and verify before shipping code.