理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- synthesis and purification of antisense nucleic acid drug
- synthesis aperture
- synthesis balance method
- synthesis centrifugal test
- synthesis gas purification
- synthesis gas refining
- synthesis imaging
- synthesis map
- synthesis of biological macromolecule
- synthesis of glycoconjugate
- synthesis of mechanism
- synthesis of multivalent glycoconjugate
- synthesis of peptide drug
- synthesis of polymer
- synthesis of sugar
- synthesis of superheavy element
- synthesis pipeline map
- synthesis plasma
- synthesis problem
- synthesis radio telescope
- synthesis telescope
- synthesis test of system
- synthesis theories of sociology
- synthesized aperture
- synthesized attribute