5.3 Liveness Proof In [7], a rule react-rule is presented to prove liveness properties. This paper uses another liveness proof rule reactl-rule2: \REACT1 ...
確定! 回上一頁