Quint:一款现代可执行规范语言
2024-07-31
Quint 是一款现代化的可执行规范语言,它结合了抽象规范语言和编程语言的优点。Quint 允许开发者使用熟悉的语法定义系统行为,并提供类型检查和可执行性,以确保规范的正确性和完整性。
37