为了使设计的模式尽可能预防更多的错误，需要围绕着错误检查组织词汇表，有时候还要使用继承这样的高级特性。
Yet to design a schema that prevents as many errors as possible, you need to organize the vocabulary around the error checking, sometimes using advanced features such as inheritance.
尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。
Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.
特性检查失败可以由真正的设计缺陷、特性或不期望输入中的缺陷、或状态配置引起。
A failure can result from a true design bug, a bug in the property or unintended input, or state configurations.
特性检查失败可以由真正的设计缺陷、特性或不期望输入中的缺陷、或状态配置引起。
A failure can result from a true design bug, a bug in the property or unintended input, or state configurations.
应用推荐