无穷状态系统相关论文
因为无穷状态系统拥有无穷多个状态,基于它的可判定性理论更加复杂,对于无穷状态系统的强、弱互模拟等价的判定比有穷状态系统的判定......
本论文主要研究共代数中的互模拟证明方法及其应用两个方面。
代数理论已被证实在计算机科学中具有广泛的应用,其对偶概念——......
本文涉及的研究领域是无穷状态系统的验证。无穷状态系统上的验证问题主要包括两个方面:一个方面是等价验证,另一个方面是模型检测......
演绎推理是形式化验证中一种重要的方法,具有可以处理无穷状态系统的优点.本文研究与实现关于交替式下推系统中可达性的证明,该系......
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先......