软件验证程序
计算机科学技术名词
软件验证程序（software verifier）是2018年公布的计算机科学技术名词。
定义
用来验证软件正确性等性质的程序。
出处
《计算机科学技术名词 》第三版。
参考资料
软件验证程序.术语在线.
最新修订时间：2022-03-30 00:43
条目作者
小编
目录
概述
定义
出处
参考资料

Copyright©2024 闽ICP备2024072939号-1