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

单词	automated verification system
释义	automated verification system Encyclopedia 理学软件工程管理释 automated verification system自动验证系统根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。 Computer 软件工程释文 automated verification system自动验证系统
随便看	theorem on minimal surfaces theorem on multiplication of probabilities theorem on pentagonal numbers theorem on power series theorem on prime twins theorem on regularity theorem on removable singularities theorem on representability theorem on termwise differentiation theorem on trigonometric series theorem on unique factorization theorem on zeros theorem proving theorem proving analysis theorem拉斯克-诺特分解定理 theorem最大分离最小距离定理 theorem米塔-列夫勒部分分式定理 theoretic theoretical theoretical aerodynamics theoretical analysis Theoretical and Applied Genetics theoretical and computational chemistry theoretical approximation of solutions theoretical arithmetic

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