> 教育经验 > 什么是软件验证程序介绍

什么是软件验证程序介绍

教育经验

什么是软件验证程序介绍

软件验证程序（software verifier）是2018年公布的计算机科学技术名词。

软件验证程序定义

用来验证软件正确性等性质的程序。

软件验证程序出处

《计算机科学技术名词》第三版。