a probabilistic variant of projection temporal logic

ISCAS OpenIR

	a probabilistic variant of projection temporal logic
	Yang Xiaoxiao
	2012
会议名称	Recent Advances in Computer Science and Information Engineering Volume 3
会议录名称	Recent Advances in Computer Science and Information Engineering
页码	665-670
会议日期	June 17, 2011 - June 19, 2011
会议地点	Changchun, China
收录类别	SPRINGER ; EI
ISSN	1876-1100
ISBN	978-3-642-25766-7
部门归属	State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China
摘要	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.
关键词	Computer Science Model Checking
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15735
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Yang Xiaoxiao. a probabilistic variant of projection temporal logic[C],2012:665-670.