理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- Sa'gya Monastery
- Sa'gya Temple
- Sa'gya Xian
- SAH
- Saha crater
- Saha equation
- Saha formula
- Saha ionization equation
- Saha ionization formula
- Sahara
- Saharan
- Sahar Khalifeh
- Saha's equation
- Sah, Chih-Tang
- Sahel
- Sahelanthoropus tchadensis
- Sahelanthropus Toumaï
- Sahel-Benin Union
- Sahitya Akademi
- Sahitya Akademi Award
- Sahle Sellassie
- Sa Hsiao
- SAI
- Sai
- Saibei