理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- A. Durer
- ADU沉淀
- advaita
- advance care planning
- advanced
- advanced adiabatic compressed air energy storage
- Advanced Ancient Chinese Grammar
- advanced ballistic reentry system program
- advanced ballistic re-entry vehicle
- advanced biofuels
- advanced ceramics
- Advanced Communication Technology Satellite
- Advanced Composition Explorer
- advanced configuration and power interface
- advanced cooperation
- advanced data display system
- advanced data management
- advanced differential equation
- advanced distribution automation
- advanced drilling method
- advanced driver assistance system
- Advanced Earth Observing Satellite
- advanced emergency braking system
- Advanced Encryption Standard
- advanced encryption standard