1) Statechart Verification
状态图验证
1.
A Statechart Verification Tool for Automotive Electronics-Smart Automata;
支持汽车电子的状态图验证工具—Smart Automata
2) Digital Certificate
证书状态验证
1.
Research on Digital Certificate Status Validation System;
数字证书状态验证系统研究
3) Finite state verification
有穷状态验证
1.
Finite state verification for programs is an approach between theorem proving and testing.
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。
4) Certificate Status Search and Verify
证书状态查询验证
5) Online Certificate Status Validation
在线证书状态验证
1.
Research on Directory Service and Online Certificate Status Validation System;
目录服务与在线证书状态验证系统研究
6) verification of serviceability limit states
正常使用极限状态验证
补充资料:验证状态控制
验证状态控制
control of verification status
YOnzheng zhuangtaiko叩Zhi验证状态控制(印ntrOI of verifi。蚊ion status)为准确识别产品的验证状态所采取的技术作业和活动。在产品生产的全过程中,对不同验证状态应加以区分和管理。验证状态一般可分为4种:①待验状态;②已验合格状态;③已验不合格状态;④已验待判定状态。 正常生产过程中,为了防止未经验证或已经检验但尚未判定其是否合格的产品与已验合格产品互相混淆,必须对验证状态实施控制。方法是对不同验证状态的产品作出标识,并分别存放。验证状态的标识可使用标记、印章、标签、标牌、转序卡、检验记录、存放容器、存放地点等不同方式、方法。根据管理的需要,也可几种方法同时使用。一般在使用标记、标签、标牌的同时,还要在转序卡、工序生产原始凭单或验收单等记录凭证上登记、记录,成品或半成品实物要根据其材质、尺寸大小等不同情况,确定不同验证状态存放的不同地点或不同容器。 验证状态标识和产品标识不同,产品标识区分每个或每批产品在形成过程中的标识标记,可以是批号、炉号、规格型号等标志,用以防止不同类型产品的混淆。这种标识在生产过程中是惟一的,不改变的。验证状态标识是随工序转序(流程流转)而改变的,在生产过程中不是惟一的。 良好的验证状态控制由与生产过程有关的各部门协作完成。工艺技术部门按车间场地布局设定不同验证状态实物的存放地点、位t和器具,设!明显的文字标识。‘验证的状态由检验部门负责确认,并出具凭证。物资、生产管理部门负责不同验证实物的搬运和管理。这些部门的协调运作才能形成一个有效的验证状态控制系统。(陈率民)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条