formal verification technique

英美

formal verification technique网络翻译

形式化验证技术

formal verification technique双语例句

Then it is in great need of the formal technique of automatic verification to solve these problems.

因此，系统需要一种能较好解决这些问题的自动规范验证技术。

Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.

基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。

相关单词

ventriloquistn. 腹语术者；口技艺人
vacancyn. 空缺，空职；（旅馆等的）空房，空间；无知，空虚；空隙，空处
tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
trimestern. 三个月；一学期
trigonometryn. 三角学
trapezen. 秋千；吊架
transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
to pass an examination
tights紧身裤袜
tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列【名】（Tier）（英）蒂尔（人名）
telecommunicationsn. 电信，电讯