术语词典

模型检测

通过检查形式化模型的状态和行为，验证合约是否满足预期规范的方法。