简介 PVS是原型验证系统(Prototype Verification System)的缩写,斯坦福研究机构在过去20年中开发了一系列验证系统,开发PVS的目的是把它作为一个重量级验证系统EHDM的轻量级原型,以探索...
基于52个网页-相关网页
本文设计了一个基于邮政商函名址的客户关系管理原型验证系统。
We designed an original testing system based on the postal commercial mail names and addresses.
嵌入式系统开发人员需要一种方法来生成一些测试场景,以便验证一个设计原型或者首次样品。
Embedded systems developers need a way to generate sets of test scenarios to validate a design prototype or a first-article product.
测试JBCAS原型系统,对其可行性和正确性进行了验证。
Test of the prototype system and the validation of JBCAS's feasibility and correctness.
应用推荐