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.

　
英 美
  • 驗證協(xié)議的程序，它從一個(gè)給定的初始狀態(tài)機械地產(chǎn)生出一切可以到達的狀態(tài)，并且審查每一狀態(tài)下用戶(hù)定義的條件的有效性。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan