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