期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

广义可能性计算树逻辑的不动点语义 被引量：1

Fixed-point semantics of computation tree logic based on generalized possibility measures
下载PDF
导出
摘要 计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点。结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式。 Fixed-point semantics of computation tree logic plays an important role in symbolic model checking. Fixed-point semantics of generalized possibilistic computation tree logic is presen- ted, then the greatest or least fixed-point is shown by the method of mathematical induction, which is different from the form in classical model checking.
作者 邓楠轶 张兴兴 李永明
机构地区 陕西师范大学计算机科学学院
出处 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第4期22-27,共6页 Journal of Shaanxi Normal University：Natural Science Edition
基金 国家自然科学基金(11271237 61228305) 高等学校博士学科点专项基金(20130202120001)
关键词 广义可能性测度 计算树逻辑 不动点语义 模型检测 generalized possibility measures computation tree logic fixed-point characterization model checking
分类号 TP301.2 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献14

  • 1Baier C,Katoen J P.Principles of model checking[M].Cambridge:MIT press,2008.
  • 2Clark E,Grumberg O,Peled D.Model Checking[M].Cambridge:The MIT Press,1999.
  • 3Rozier K Y.Linear temporal logic symbolic model checking[J].Computer Science Review,2011,5(2):163-203.
  • 4林惠民,张文辉.模型检测:理论、方法与应用[J].电子学报,2002,30(12A):1907-1912. 被引量：163
  • 5Li Yongming,Li Lijun.Model checking of linear-time properties based on possibility measure[J].Fuzzy Systems,2013,21(5):842-854.
  • 6Chechik M,Devereux B,Easterbrook S,et al.Multi-valued symbolic model-checking[J].ACM Transactions on Software Engineering and Methodology,2003,12(4):371-408.
  • 7Fischer E,Gradel E,Kaiser L.Model checking games for the quantitative-calculus[J].Theory of Computing Systems,2010(47):696-719.
  • 8Kwiatkowska M,Norman G,Parker D.Stochastic model checking[M]∥Formal methods for performance evaluation.Berlin Heidelberg:Springer,2007:220-270.
  • 9Zadeh L A.Fuzzy sets[J].Information and Control,1965,8(3):338-353.
  • 10Li Yongming,Li Yali,Ma Zhanyou.Computation tree logic model checking based on possibility measures[J].Fuzzy sets and Systems,2015,262:44-59.

二级参考文献10

  • 1Edmund E,Grumberg O,Peled D.Model checking[M].Cambridge:The MIT Press,1999.
  • 2Baier C,Katoen J P.Principles of model checking[M].Cambridge:The MIT Press,2008.
  • 3Chechik M,Devereux B,Gurfinkel A.Multi-valued symbolic model-checking[J].ACM Transactions on Software Engineering and Methodology,2003,12(4):371-408.
  • 4Li Yongming,Li Lijun.Model checking of linear-time properties based on possibility measure[J].IEEE Transactions on Fuzzy Systems,2013,21(5):842-854.
  • 5Li Yongming,Li Yali,Ma Zhanyou.Computation tree logic model checking based on possibility measures[EB/OL].[2014-09-15].http://dx.doi.org/10.1016/j.fss.2014.03.009.
  • 6Li Yongming,Ma Zhanyou.Quantitative computation tree logic model checking based on generalized possibility measures[EB/OL].[2014-09-15].http:∥arxiv.org/abs/1409.6466.
  • 7Kupferman O,Lustig Y.Lattice automata[C]∥Cook B,Podelski A.Proceedings of VMCAI2007,Lecture Notes in Computer Science,Berlin:Springer,2007:199-213.
  • 8薛艳,雷红轩,李永明.基于可能性测度的计算树逻辑[J].计算机工程与科学,2011,33(9):70-75. 被引量：14
  • 9李亚利,李永明.可能性测度下计算树逻辑的若干性质[J].陕西师范大学学报（自然科学版）,2013,41(6):6-11. 被引量：7
  • 10李永明.格值自动机与语言[J].陕西师范大学学报（自然科学版）,2003,31(4):1-6. 被引量：39

共引文献174

同被引文献5

引证文献1

二级引证文献1

陕西师范大学学报（自然科学版）
2015年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部