Quint is a specification language based on the Temporal Logic of Actions
Primary LanguageTypeScriptApache License 2.0Apache-2.0
No issues in this repository yet.