A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined ...
確定! 回上一頁