所有栏目

软件验证程序

作者:百科科普

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

软件验证程序定义

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

软件验证程序出处

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

热点导航
教育资讯 知道问答 公考资讯 司法考试 建筑知识 工作范文 大学排名 报考专业 学习方法 句子美文 秒知回答 作业解答 精选答案 知途问学