理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- pole star
- Polet
- pole type singularity
- Poleungkuk
- pole vault
- pole vault of Summer Special Olympics
- poleward migration
- pole wheel
- pole zero cancellation
- pole-zero cancellation
- polhode
- polhode cone
- polhody
- police accouterments support
- police activities
- police administrative compensation
- police administrative law enforcement
- police aerobat
- police affairs
- police alcohol content tester
- Police And Pangster Film
- police big data
- police big data platform
- police burnout
- police by means of the rule of law