理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- rectangular potential barrier
- rectangular prism
- rectangular product
- rectangular projection
- rectangular property
- rectangular robot
- rectangular robot, Cartesian robot
- rectangular seal in two halves
- rectangular semigroup
- rectangular sequence
- rectangular solid
- rectangular source
- rectangular spherical triangle
- rectangular throatless measuring flume
- rectangular triangle
- rectangular trihedral angle
- rectangular voice-coil motor
- rectangular waveguide
- rectangular waveguides
- rectangular waveguide window
- rectangular wave packet
- rectangular-well potential
- rectascension
- rectennas
- rectifiability