Learning Quint by example

This web-book provides a learning guide for the Quint specification language.

It follows the approach of "teaching through examples" or "learning by doing". As such, it is mainly a collection of valid and full specifications with explanations and notes.