quint-co/quint

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

语言：TypeScript · GitHub 星标：1,899 · Fork：154

话题：apalache · formal-methods · formal-verification · language · quint · specification · specification-language · tlaplus

在 GitHub 上查看原仓库