在线新华字典,在线汉语查询
当前位置 : 在线新华字典,在线汉语查询 > 英汉翻译 > reachable

reachable

reachable 的中文翻译


adj.

可达成的, 可获得的

reachable 的英文句子和中文句子



A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.

验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。