Authentication email has already been sent, please check your email box: and activate it as soon as possible.
You can login to My Profile and manage your email alerts.
If you haven’t received the email, please:
|
|
There are 1 papers published in subject: > since this site started. |
Results per page: |
Select Subject |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
1. Model-checking of Linear-Time Properties in possibilistic Kripke structure | |||
LI Lijun,LI Yongming | |||
Computer Science and Technology 14 November 2011 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract: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. | |||
TO cite this article:LI Lijun,LI Yongming. Model-checking of Linear-Time Properties in possibilistic Kripke structure[OL].[14 November 2011] http://en.paper.edu.cn/en_releasepaper/content/4449957 |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
Results per page: |
About Sciencepaper Online | Privacy Policy | Terms & Conditions | Contact Us
© 2003-2012 Sciencepaper Online. unless otherwise stated