理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- non-reciprocity
- nonreciprocity
- non-recognition doctrine
- nonrecurrent
- non-recurrent burst
- nonrecurrent chain
- non-recurrent disturbance
- nonrecurrent point
- nonrecurrent state
- Non-recurrent Traffic Congestion
- nonrecurring
- non-recursive
- non-recursive algorithm
- non-recursive filtering methods
- non-recursively enumerable language
- non-recursively enumerable language, non-r.e. language
- non reducing sugar
- non-reducing sugar
- nonreducing sugar
- nonreductive polyacrylamide gel electrophoresis
- non-redundancy
- non-redundant
- nonredundant aperture masking
- non-redundant array
- non-redundant masking