Quint icon
Quint icon

Quint

A modern and executable specification language.

Quint screenshot 1

Cost / License

Platforms

  • Self-Hosted
Alternatives
0likes
0alternatives
0articles
Save

Features

  1.  Read Eval Print Loop
  2.  Specification finder

 Tags

Quint News & Activities

Highlights All activities

Recent activities

  • oceanocean updated Quint

Quint information

AlternativeTo Category

Development

GitHub repository

  •  1,801 Stars
  •  148 Forks
  •  249 Open Issues
  •   Updated  
View on GitHub
Quint was added to AlternativeTo by Paul on and this page was last updated .

No comments or reviews, maybe you want to be first?

Official Links

AppStores & Other Links

What 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

Quint Videos

Show 1 more video