您的位置： 专家智库 > >

李杨

作品数：1 被引量：0H指数：0
供职机构：西北大学信息科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇活性
  • 1篇安全性
  • 1篇标号
  • 1篇标号迁移系统
  • 1篇并发
  • 1篇并发系统

机构

  • 1篇西北大学

作者

  • 1篇冯健
  • 1篇程建华
  • 1篇陈晓江
  • 1篇房鼎益
  • 1篇李杨

传媒

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

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
并发系统的安全性与活性的验证方法
2008年
网络环境下的分布式系统是典型的并发系统。安全性和活性是并发系统最为关注和需要保证的两个主要性质。然而在并发系统建模和形式化验证时,面临着描述繁琐、复杂和难以理解的问题,特别是当并发系统的规模(并发进程数目)较大时其性质验证时的效率问题更是严重阻碍了并发系统模型检测与验证技术的应用。将组合可达性分析和标号迁移系统的模块化思想与模型验证技术相结合,提出了一套有效的性质验证方法。论证、分析了三个并发系统安全性和活性验证定理,据此导出了并发系统的安全性与活性验证的有效算法。并通过一个简单实例,对算法有效性进行了初步验证。
李杨程建华房鼎益陈晓江冯健
关键词：并发系统安全性活性标号迁移系统
全选 清除 导出
共1页<1>
聚类工具0