理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- Church of Saint Sava
- Church of San Carlo in Four Fountains
- Church of San Ivo of Wisdom
- Church of Sant Vicenç of Cardona
- Church of St. Andrea in Quirinale
- Church of St. Panteleimon in Galicia
- Church of the Brethren
- Church of the Dormition
- Church of the Gesu
- Church of the Intercession on the Nerl
- Church of the Savior on Neredice
- Church of the St. John the Baptist in Dyakov,Moscow
- Church of the Transfiguration on Ilyina Street
- Church of Vierzehnheiligen
- church polity
- church school
- Church theorem
- Church thesis
- Church Turing thesis
- Church-Turing thesis
- Chu Renhuo
- Chu River
- churning
- Churyumov-Gerasimenko Comet
- Chusan palm