基于需求的验证

根据需求验证设计，指定分析输入约束

设计需求定义模型中不需要的行为。金宝app^®设计验证器™使用属性证明来验证与模型需求相关的属性是否在所有可能的输入值下保持，或者在需求失败时提供反例。你使用金宝app仿真软件设计验证器将设计需求建模为属性，然后证明模型中的属性．