Quint

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