进程重写系统相关论文
形式化验证是计算机科学中的核心课题之一;等价验证是形式化验证中一个主流领域;互模拟等价验证作为等价验证的重要组成部分,起始......
近年来，无限状态系统的验证成为了一个十分热门的研究领域。其中研究的重要问题不仅仅有对系统间等价的判定，还包括对系统和特定有限......
