In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time-and space- ...
確定! 回上一頁