Quint
Like
A modern and executable specification language.
Cost / License
- Free
- Open Source
Platforms
- Self-Hosted
Quint
Like
Features
- Read Eval Print Loop
- Specification finder
Tags
- Language Server Protocol
- executable
- specification
Quint News & Activities
Highlights All activities
Recent activities
No activities found.
Quint information
Developed by
Informal Systems Licensing
Open Source (Apache-2.0) and Free product.Written in
Alternatives
0 alternatives listedSupported Languages
- English
AlternativeTo Category
DevelopmentGitHub repository
- 1,098 Stars
- 104 Forks
- 226 Open Issues
- Updated
No comments or reviews, maybe you want to be first?
Post comment/reviewWhat is Quint?
A modern and executable specification language.
Features
- A simple and familiar syntax to support engineers reading and writing specifications
- An expressive type system to ensure the domain model is coherent
- A novel effect system to ensure state updates are coherent
- IDE support via LSP giving real time feedback when writing specifications
- A REPL enabling interactive exploration of specifications
- A simulator enabling tests, trace generation, and exploration of your system
- A symbolic model checker to verify your specifications via Apalache