informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

informalsystems/quint Stargazers