理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- uphill diffusion
- U Pho Latt
- upholding morality and using carefully penalization
- Uphold Tao and Eliminate Evil
- upholstered furniture
- upholstery twill silk for picture mounting
- UPI
- up in the air
- Up in the Lakeside Tower
- UPJO
- up-ladder
- up-ladder operator
- upland cotton
- upland plant
- upland rice
- upland rice cyst nematode disease
- upland soil microbes
- UPLC
- up-leg light time
- uplift
- uplift pile
- uplift pressure
- uplink
- upload
- UPM