By assuring that End = sf will be true at a certain time by fair execution, P0 is true. Therefore, requisite formula (c) is verified true using the theorem ...
確定! 回上一頁