理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- cloud security alliance, CSA
- cloud services for the mining and metallurgy industries
- cloud serving
- cloud storage
- cloud structure
- Cloud Terrace at Juyongguan
- cloud translation
- cloudy bag model
- cloudy catshark
- cloudy-rainy weather for several days
- Clouets
- clove
- clove hitch
- clover cyst nematode disease
- clover diseases
- clover-leaf knot
- Cloverleaf quasar
- cloverleaf slow wave circuit
- clover sclerotinia rot
- Clown
- Clown Face Nebula
- clownfish
- CLPR
- CLRP
- C. L. Siegel