×

无人机

swMATH标识: 28507
软件作者: 多年生股份有限公司
说明: ANSI/ISO/FIPS-160 C验证套件。ACVS是perennium的C编译器验证套件CVSA的一个子集,被美国政府和opengroup(以前的X/Open)唯一认可。1989年,美国国家标准与技术研究所(NIST)在一次竞争性采购中选择了ACV作为唯一的测试套件,用于验证是否符合C语言标准。这一认证过程确定了符合美国政府采购要求的产品。NIST的程序要求对每个新的ACV版本进行公开审查和控制委员会审查。ACVS是当今市场上最严格和最彻底的C验证套件
主页: http://www.peren.com/pages/acvs_set.htm
相关软件: jsfunfuzz公司;梅子馆;密斯;Frama-C公司
参考文献: 1个出版物

1位作者引用

1 巴尼,格格

在0序列中引用

在1个字段中引用

1 计算机科学(68-XX)

按年份引用出版物