自动化验证系统

【自动化验证系统】基础信息（ 英文,繁体）

词语 自动化验证系统
英文 automated verification system
繁体 自動化驗證系統

【自动化验证系统】是什么意思

为一种软体工具，以计算机程式及其规格说明的表示为输入，而产生该程式的正确性证明或反驳者。

【自动化验证系统】相关的组词

【自】组词

【动】组词

【化】组词

【验】组词

【证】组词

【系】组词

【统】组词

热门词语