理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- countable degree
- countable dimension
- countable-dimensional
- countable distributivity
- countable-finite game
- countable Hilbert space
- countable infinity
- countable Lebesgue spectrum
- countable model
- countable ordinal number
- countable potency
- countable product
- countable semiadditivity
- countable set
- countable simplicial complex
- countable space
- countable subadditivity
- countable subset
- countable sum axiom
- countable superadditivity
- countable support iterated forcing
- countable system
- countable transitive model
- countable union
- countable-valued logic