自动验证工具（automated verification tool）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。
用于验证计算机软件的正确性、完全性、一致性、可跟踪性、可测试性等特性或者检查软件是否遵守相关标准的自动化软件工具。
《计算机科学技术名词 》第三版。
水利万物而不争,
而万物莫能与之争。
