1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 实验

NFTS模糊互模拟的函数式建模与机械化验证.pdf

NFTS模糊互模拟的函数式建模与机械化验证.pdf

    摘要

    互模拟是并发理论的重要概念，用于测试系统或系统状态之间行为等价性。

    近年来，互模拟的概念引入了模糊迁移系统，并对模糊迁移系统的互模拟定义和

    算法进行了大量研究。然而现有研究注重于模糊互模拟数学理论定义以及算法的

    优化，定义和算法涉及的性质缺少严谨的形式化证明，正确性无法保证。为此，

    本文针对不确定性模糊迁移系统NFTS的互模拟在Isabelle/HOL定理证明器中

    进行了形式化验证。首先，形式化定义了不确定性模糊迁移系统NFTS，并对其

    两类常

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >