期刊文献+

基于K-模拟的抽象

K-Simulation Based Abstractions
下载PDF
导出
摘要 尽管近年来模型检测取得了很大的进步,但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中,抽象技术是最有效的方法之一。本文给出了基于K-模拟的抽象的高效算法,并证明了在线性时序逻辑框架下抽象的可靠性和完备性。 In spite of the impressive progress in the development of model checking, it is still limited in their ability to handle large systems. It is generally recognized that abstraction techniques are one of the most general state reduction techniques. A novel efficient algorithm for computing abstraction of Kripke structure based on K-simulation is proposed. The soundness and completeness of abstraction framework in Linear temporal logic are proved.
出处 《计算机科学》 CSCD 北大核心 2007年第9期242-244,共3页 Computer Science
基金 国家自然科学基金(70271069)的支持
关键词 抽象 线性时序逻辑 K-模拟 Abstraction , I.TL , K-simulation
  • 相关文献

参考文献7

  • 1Clarke E M,Grumberg O,Peled D.Model Checking.Massachusetts:MIT Press,1999. 被引量:1
  • 2Milner R.An algebraic definition of simulation between programs.In IJCAI,1971.481-489. 被引量:1
  • 3Etessami K.A hierarchy of polynomial-time computable simulations for automata.In:CONCUR 2002-Concurrency Theory,13th International Conference,Bmo,Czech Republic,August Proceedings,volume 2421 of Lecture Notes in Computer Science,Springer,2002.131-144. 被引量:1
  • 4Dams D,Namjoshi K S.Automata as abstractions.In VMCAI,volume 3385 in Lecture Notes in Computer Science,Springer Verlag,2005.216-232. 被引量:1
  • 5Etessami K,Wilke T,Schuller R A.Fair simulation relations,parity games,and state space reducton for buchi automata.In:ICALP'01:Proceedings of the 28th International Colloquium on Automata,Languages and Progamming,,London,UK,2001.694-707. 被引量:1
  • 6Klarlund N,Kozen D.Rabin measures and their applications to fairness and automata theory.In LICS,IEEE Computer Society,1991.256-265. 被引量:1
  • 7Jurdzinski M.Small progress measures for solving parity games.In:Horst Reichel and Sophie Tison,eds.STACS 2000.17th Annual Symposium on Theoretical Aspects of Computer Science,Proceedings,volume 1770 of Lecture Notes in Computer Science,Lille,France,February 2000.290-301. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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