“automated verification system”的概念、定义、翻译、参考文献-科学参考

单词	automated verification system
释义	automated verification system Encyclopedia 理学软件工程管理释 automated verification system自动验证系统根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。 Computer 软件工程释文 automated verification system自动验证系统
随便看	局部搜索局部搜索法局部操作和经典通信局部收敛局部收敛定理局部收敛序列局部收敛性局部放电局部放电测量局部放电熄灭电压局部放电起始电压局部故障局部-整体原则局部整体原则局部-整体原理局部-整体托雷利问题局部整体托雷利问题局部整环局部方程局部施药法局部族局部无偏估计量局部无偏检验局部无圈曲线局部日震学

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。