理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- nourishing body fluid
- nourishing liver and kidney
- nourishing of emotional attachment
- nourishing stomach
- nourishing yang
- nourishing yin and clearing heat
- nourishing yin and suppressing hyperactive yang
- nourishing yin for moistening dryness
- nourishing yin for tranquillization
- nourishing yin to clear the lung
- nourishing yin to relieving superficies syndrome
- Nous
- nouveaux plasticiens
- Nouvelle-Aquitaine
- Nouvelle politique indigène
- Nouvel Opera House
- nova
- novacekite
- Nova Cygni
- Nova Cygni 1992
- Nova Design Ltd.
- nova explosion
- nova frequency
- novakite
- novalgin