您的位置： 专家智库 > >

国家自然科学基金(90104007)

作品数：1 被引量：1H指数：1
相关作者：齐治昌吴宏更多>>
相关机构：国防科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：交通运输工程自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇交通运输工程

主题

  • 1篇顺序图
  • 1篇CTL
  • 1篇LSC

机构

  • 1篇国防科学技术...

作者

  • 1篇吴宏
  • 1篇齐治昌

传媒

  • 1篇计算机应用与...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于LSC的模型检验研究被引量：1
2006年
LSC是一种表达能力很强的顺序图建模语言,模型检验技术是验证软件模型正确性的重要方法,提出了一个对LSC模型进行模型检验的方法,并实现了相关支持工具。首先分析了LSC语言,然后基于其语义提出了生成LSC等价状态模型的方法,进而对生成的状态模型进行模型检验;最后进行了实例研究,利用给出的实现工具检验了用CTL描述的验证性质。
吴宏齐治昌
关键词：LSC顺序图CTL
全选 清除 导出
共1页<1>
聚类工具0