英汉
汉语
更多
The property to be checked is described as a finite state machine that transitions on atomic predicates, properties that can be identified by cursory look at the program.
英
美
释义
所要检查的特性被描述为一个有限状态机器,即原子谓词上的转变,这样粗略地查看程序就能识别出这些特性。
以上内容独家创作,受著作权保护,侵权必究
海词词典,十七年品牌
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载
立即下载