自动验证系统

自动验证系统（automated verification system）是2018年公布的计算机科学技术名词。由一个或多个自动验证工具组成的软件系统。它以计算机程序及其规约作为输入（可能借助人的帮助），产生该程序的正确与否的证明。