理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- set of states
- set of strategies
- set of subsets
- set of support
- set of the first category
- set of the k-th category
- set of the second category
- set of total measures
- set of transitivity
- set of uniqueness
- set of values
- set of words
- set of zeros
- Setoguro ware
- Seto-naikai
- seton cutting method
- seton therapy
- set operation
- setose cephalanoplos
- setose thistle
- Setouti Zyakutyo
- setover
- SETP
- set pair analysis method
- set partition