Institutional Repository
| a probabilistic variant of projection temporal logic | |
| Yang Xiaoxiao | |
| 2012 | |
| Conference Name | Recent Advances in Computer Science and Information Engineering Volume 3 |
| Source | Recent Advances in Computer Science and Information Engineering |
| Pages | 665-670 |
| Conference Date | June 17, 2011 - June 19, 2011 |
| Conference Place | Changchun, China |
| Indexed Type | SPRINGER ; EI |
| ISSN | 1876-1100 |
| ISBN | 978-3-642-25766-7 |
| Department | State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China |
| English Abstract | In this paper, we propose Probabilistic discrete-time Projection Temporal Logic (PrPTL), which extends Projection Temporal Logic (PTL) with probability. To this end, some useful formulas are derived and some logic laws are given. Further, we define Time Normal Form (TNF) for PrPTL as the standard form and prove that any PrPTL formulas can be rewritten to TNF. According to the TNF, we construct the time normal form graph which can be used for the probabilistic model checking on PrPTL.; In this paper, we propose Probabilistic discrete-time Projection Temporal Logic (PrPTL), which extends Projection Temporal Logic (PTL) with probability. To this end, some useful formulas are derived and some logic laws are given. Further, we define Time Normal Form (TNF) for PrPTL as the standard form and prove that any PrPTL formulas can be rewritten to TNF. According to the TNF, we construct the time normal form graph which can be used for the probabilistic model checking on PrPTL. |
| Keyword | Computer Science Model Checking |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15735 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Yang Xiaoxiao. a probabilistic variant of projection temporal logic[C],2012:665-670. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment