ACVS公司 swMATH ID: 28507 软件作者： Perennial公司 描述： ANSI/ISO/FIPS-160 C验证套件。ACVS是CVSA（Perennial的C编译器验证套件）的一个子集，是美国政府和the Open Group（以前叫X/Open）唯一认可的。1989年，美国国家标准与技术研究所（NIST）在一次竞争性采购中选择了ACVS作为C语言标准一致性认证的独家测试套件。该认证过程确立了产品符合美国政府采购的资格。NIST程序要求对每个新的ACVS版本进行公开审查和控制委员会审查。ACVS是当今市场上审查最严格、最彻底的C验证套件 主页： http://www.peren.com/pages/acvs_set.htm 相关软件： jsfunfuzz语言;梅花厅;史密斯;Frama-C公司 引用于： 1文件 由1位作者引用 1 格尔戈·巴拉尼 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文