理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- parafrontalia
- paraganglioma
- paraganglion
- paragaster
- paragenesis
- paragenesis mineral
- paraglider
- paragliding
- paraglobulin
- paraglossa
- paragnatha
- paragonia gland
- paragonimiasis
- paragraph
- paragravity
- paragroup
- Paraguaná Peninsula
- Paraguay
- Paraguayan Communist Party
- Paraguayan music
- Paraguayan War
- Paraguay Basin
- Paraguay Red Party
- parahelium
- para-Hermitian symmetric space