理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- point selection by midday-midnight flowing of qi-bloodpoint，midnight-noon ebb-flow acupoint selection
- point separator
- point sequence
- point set
- point-set topology
- point singularity
- point slope form
- point slope method
- points of finite order on elliptic curve
- point source
- Point Source Catalog Redshift Survey
- point-source function
- point-source hologram
- point-source model
- point source of water pollution
- Point source pollution
- point source pollution in ocean
- point source wastewater treatment
- point space
- point spectrum
- point spectrum type flow
- point sphere
- point spread function
- points problem
- point stabilizer