Home > Papers

 
 
Model-checking of Linear-Time Properties in possibilistic Kripke structure
LI Lijun 1,LI Yongming 2 * #
1.College of Computer Science, Shaanxi Normal University, Xi\'an 710062
2.College of Computer Science, Shaanxi Normal University
*Correspondence author
#Submitted by
Subject:
Funding: the Higher School Doctoral Subject Foundation of Ministry of Education of China（No.No.200807180005）, NSFC（No.No.60873119）
Opened online:22 December 2011
Accepted by: none
Citation: LI Lijun,LI Yongming.Model-checking of Linear-Time Properties in possibilistic Kripke structure[OL]. [22 December 2011] http://en.paper.edu.cn/en_releasepaper/content/4449957
 
 
Firstly, in this paper, we study the Linear Temporal Logic (LTL) model-checking of linear-time properties in possibilistic Kripke structure. Secondly, we introduce the expression of the safety property and regular property in possibilistic Kripke structure, then give some calculation method related to the above Linear-time properties. Finally , we thoroughly study the verification of safety property and omega regular property using automata.
Keywords:model-checking; Linear-time properties; automata
 
 
 

For this paper
  • ● PDF (0B)
  • ● Revision 0 　　
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags
Add yours

Related Papers

Statistics
PDF Downloaded 234
Bookmarked 0
Recommend 6
Comments Array
Submit your papers