Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Primary LanguageTypeScriptApache License 2.0Apache-2.0
No issues in this repository yet.