理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- carbon cycle model
- carbon cycling
- carbon-deflagration model
- carbon density
- carbon deposition
- carbon detonation
- carbon dioxide
- carbon dioxide analyzer
- carbon dioxide-based polycarbonate
- carbon dioxide capture,utilization and storage
- carbon dioxide compensation point
- carbon dioxide compression refrigeration cycle
- carbon dioxide content
- carbon dioxide dissociation curve
- carbon dioxide equivalence
- carbon dioxide evolution rate，CER
- carbon dioxide fertilization effect
- carbon dioxide flooding
- carbon dioxide fracturing
- carbon dioxide geological storage
- carbon dioxide geological storage suitability
- carbon dioxide inclusion
- carbon dioxide laser
- carbon dioxide missing sink
- carbon dioxide pipeline transportation