理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- theoretical strength
- Theoretical Studies in Literature and Art
- theoretical syntax
- theoretical trajectory
- theoretical tray
- theoretical value of solid earth tides
- theoretical variable
- theoretical viewpoint
- Theoretical Works Series of Chinese Classical Zaju and Qu
- theoretic simulation
- the organization and procedure of comprehensive planning
- The Organization of Intermediate Records Storage
- Theorie des modernen Dramas
- Theories and Practice of Modern Landscape Architecture in the Western World
- theories for social work
- theories of archival appraisal
- theories of archival open access
- theories of archival resources construction
- theories of attachment
- Theories of Bootstrapping
- theories of color vision
- theories of connection
- theories of hearing
- theories of human nature in organizational behavior
- theories of imperialism