1) automatic verification
自动化验证
1.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
2.
This paper presents a method that constructs automatic verification environment by using pipeline model and function coverage.
针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。
2) Automatic formalized verification
形似化自动验证
3) verification process automation
验证流程自动化
4) automatic verification
自动验证
1.
The principle and implementation of automatic verification, which provides a novel way to overcome the inherent limitation of simulation are presented.
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中给出自动验证原理及其实现，并以化工过程控制中的应用实例对整个过程作了介绍。
2.
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
5) web application automatic verification
Web应用自动化验证
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条