- 英文:
reachable - 發音:
- 音标:
['ri:tʃəbl;'ri:tʃəbəl] - 翻譯:
adj. 可達成的, 可獲得的 - 例句:
- 英文: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.
- 中文:驗證協議的程序, 它從一個給定的初始狀态機械地産生出一切可以到達的狀态, 并且審查每一狀态下用戶定義的條件的有效性。
- 編号:
94144
發表新回應