ACVS

ANSI/ISO/FIPS-160 C VALIDATION SUITE. ACVS, a subset of CVSA, Perennial’s C Compiler Validation Suite, is uniquely recognized by both the US Government and The Open Group (formerly X/Open). In 1989, the National Institute of Standards and Technology (NIST), selected ACVS, in a competitive procurement, as the exclusive test suite for certification of conformance to the C language standard. This certification process established products qualified for U.S. Government procurement. NIST procedures required public reviews and control board scrutiny for each new ACVS release. ACVS is the most rigorously and thoroughly reviewed C validation suite available in the market today

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Barany, Gergö: Liveness-driven random program generation (2018)