单词	model checking
释义	model checking 模型校验
随便看	automatic computing eqipment automatic computing equipment automatic computing machine automatic computing transfer oscillator automatic computor automatic comtrol automatic concentrator automatic condenser automatic conductivity control automatic conductivity controller automatic cone winder automatic cone wraper machine automatic conference arranger automatic configuration Automatic Congestion Control automatic congestion level automatic connection automatic connection test automatic connection test trunk automatic connector automatic conrtol technology automatic consequence automatic consignment automatic constant automatic constant function