理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- Wang Dezhao
- Wang Dezi
- Wang Di
- Wang Dianyu
- Wang Dianzuo
- Wang Ding
- "WANGDING Cup" Network Security Competition
- Wang Dingjun
- Wang Ding'ou
- Wang Dingsheng
- Wang, Divine General
- Wang Dong
- Wang Duan
- Wang Duanshu
- Wang Dulu
- Wang Dun
- Wang Dungen
- Wang Duo
- Wang Duqing
- Wang E
- Wang Enduo
- Wang Enyang
- Wang Erbei
- Wangerin
- Wangerin differential equation