您的位置： 专家智库 > >

安徽高校省级自然科学研究基金(KJ2011A248)

作品数：1 被引量：2H指数：1
相关作者：马艳芳陈亮更多>>
相关机构：淮北师范大学更多>>
发文基金：安徽省自然科学基金安徽高校省级自然科学研究基金更多>>
相关领域：理学自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇形式化
  • 1篇进程代数
  • 1篇互模拟

机构

  • 1篇淮北师范大学

作者

  • 1篇陈亮
  • 1篇马艳芳

传媒

  • 1篇计算机工程与...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于ε-互模拟的软件近似正确性模型被引量：2
2013年
软件正确性是软件可信性的重要属性。在实际软件开发和设计中,需要不断地对软件进行修改,从而软件越来越正确。为了讨论软件的动态近似正确性,基于概率进程代数的ε-互模拟,建立软件越来越正确的形式化描述。定义ε-极限互模拟,用来反应软件实现与规范之间的关系,给出一些特殊的ε-极限互模拟。提出ε-互模拟极限,用其刻画规范是软件实现的极限形式,同时证明ε-互模拟极限的一些性质。
马艳芳陈亮
关键词：形式化进程代数
全选 清除 导出
共1页<1>
聚类工具0