1.
Research on the Timing Verification for Full-custom Designed VLSI Chip;
全定制VLSI芯片的时序验证研究
2.
The Study on Functional Verification Methods and Technologies for Sequential Circuits;
时序电路的功能验证方法和技术研究
3.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
4.
Current settings and verified drivers (run time information)
当前设置和经过验证的驱动程序(运行时信息)
5.
The Estimation of Multivariate Time Series Model and Financial Applications;
多变量时间序列模型的参数估计及其实证检验
6.
Application of spectrum estimation for verifying the financal time series model;
谱估计在金融时间序列模型验证中的应用
7.
Research on Framework for Verifying AOP Programs Based on Runtime Verification
基于运行时验证的AOP程序检测框架研究
8.
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
9.
Application of Well-founded Induction in Verifying Invariance of Temporal Logic Programs
良基归纳法在时序逻辑程序不变式验证中的应用
10.
An Automata-based Approach to the Consistency Verification of Real-time Workflow
基于时间自动机的实时工作流时序约束一致性验证
11.
simplification technique
简化技巧 -程序验证中的
12.
Acceptance Test Procedure and Guarantee
验收考核程序和保证
13.
Strong name signature could not be verified. Was the assembly built delay-signed?
无法验证强名称签名。生成程序集时是否延迟了签名？
14.
Validation or resynchronization will occur the next time the Merge Agent is run.
在下次运行合并代理程序时将进行验证或重新进行同步处理。
15.
Validation will occur the next time the Distribution Agent is run. Results will be displayed in Replication Monitor.
下次运行分发代理程序时将进行验证。结果显示在复制监视器中。
16.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
17.
Formal Description and Verification of SoC Based on Projection Temporal Logic;
基于投影时序逻辑的片上系统形式化描述和验证
18.
Research on Open Temporal Logic Based Formal Verification and Modular Reasoning of Aspect-Oriented Programs
基于开放时态逻辑的面向方面程序形式化验证和模块推理研究