Abstract
Symbolic model checkers can construct proofs of properties over highly complex models. However, the results reported by the tool when a proof succeeds......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
