理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- non vanishing theorem
- non-vanishing theorem
- nonvanishing theorem
- nonvanishing vector
- non-variable source
- non-vascular interventional treatment
- non-vehicle operation carrier
- non-velocity redshift
- nonverbal ability test
- non-verbal communication
- nonverbal communication
- non-vessel operating common carrier
- non-vessel operation common carrier
- non-village construction land
- Nonviolence
- Non-Violent and Non-Cooperation Movements
- non-violent resistance
- non-viral vectors
- non-viscosity fluid
- nonviscous flow
- non-visual effect
- non-vitrified cryopreservation
- non-void
- non-void proper subset
- non-void set