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

Tokens:113,115
Snippets:962
Trust Score:7.1
Update:4 months ago
Tokens:
Raw