This enables viewing, editing, debugging and automatic verification of messages sent to the server and the AMF response returning from the server.
这使用户可以查看、编辑、调试和自动检验发到服务器的消息以及从服务器返回的AMF响应。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
This paper presents automatic verification techniques for railway systems.
研究铁路系统的自动验证技术。
Then it is in great need of the formal technique of automatic verification to solve these problems.
因此，系统需要一种能较好解决这些问题的自动规范验证技术。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
The working principle and operating method of a newly developed automatic verification tester for SF6 density relay was introduced.
介绍了最新研制的一种SF6密度继电器自动校验仪的工作原理及使用方法。
The paper presents a modular design based on object-oriented technology for extensible digital oscilloscope automatic verification system.
本文讨论应用面向对象技术实现可扩展数字示波器自动检定系统的模块化设计。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
Design of automatic verification apparatus of dial gauges and the reading method of the pointer indicating values in the verification process is introduced.
介绍了一种基于计算机图像识别技术实现的指示表全自动检定仪的设计方法，着重介绍了检定过程中的指针示值自动判读方法。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
上下位关系的自动验证是知识获取中的一个关键问题。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
上下位关系的自动验证是知识获取中的一个关键问题。
应用推荐