Quint is a language and toolset for writing formal specifications and performing model-based testing...