一个考虑时间因素的工作流模型，需要在投入运行前进行时间规范与验证，以保证工作流执行的时间协调。
A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions.
它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。
Boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.
对于创建者，不管他们是手工编写DOAP还是通过创建工具输出DOAP，验证程序(validator)都会保持与规范的一致性。
For creators, whether they're writing DOAP by hand or creating tools to output it, a validator shows compliance to the specification.
验证与XMLSchema 1.0规范完全兼容。
Validation is fully compliant with the XML Schema 1.0 specification.
验证与XML Schema 1.0规范完全兼容。
Validation is fully compliant with the ML Schema 1.0 specification.
临床验证结果显示：诊断规范辨证与专家辨证结果对照，基本证候的总体符合率为73.92%。
The clinical verification results showed that the total matching ratio was 73.92% between the diagnoses made according to the criterion and the diagnoses acquired from the experts' experience.
同时在实际的信息系统项目中对于所形成的方法和规范进行了应用与验证。
Meantime, the norms and standards in the actual information-system project are also applied and verified.
在阐述智能制造装备特点的基础上，提出了一种基于CORBA规范的智能制造装备数字化设计与验证系统的体系结构，并探讨了实现该系统的关键技术。
On the basis of expounding the features of intelligent manufacturing equipment, a CORBA-based system of the digital design and verification for the intelligent manufacturing equipment is presented.
在阐述智能制造装备特点的基础上，提出了一种基于CORBA规范的智能制造装备数字化设计与验证系统的体系结构，并探讨了实现该系统的关键技术。
On the basis of expounding the features of intelligent manufacturing equipment, a CORBA-based system of the digital design and verification for the intelligent manufacturing equipment is presented.
应用推荐