理学 软件工程管理 释 automated verification system 自动验证系统 根据某个或者某些规范、属性或原则，证明验证对象（软件、需求、规约和设计等）的正确性或非正确性的自动化系统。
软件工程 释文 automated verification system 自动验证系统
- sodium-cooled fast reactor
- sodium cyanide
- sodium cyanoborohydride
- sodium dichromate
- sodium diethyl dithiocarbamate
- sodium dihydrogen phosphate
- sodium diisobutyl dithiophosphinate
- sodium diphenylaminesulfonate
- sodium diphosphate
- sodium discharge lamp
- sodium disilicate
- sodium disillicate
- sodium D-line
- sodium dodecyl sulfate
- sodium dodecyl sulfonate method
- sodium doublet lines
- sodium ferrate
- sodium fluorescein
- sodium fluoride
- sodium fluoroacetate
- sodium fluorosilicate regulator
- sodium fluroborate
- sodium fomaldehydesulfoxylate
- sodium-glucose cotransporter-2 inhibitors
- sodium guide star