rewrite-based statistical model checking of wmtl

ISCAS OpenIR

	rewrite-based statistical model checking of wmtl
	Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted
	2013
会议名称	3rd International Conference on Runtime Verification, RV 2012
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	260-275
会议日期	September 25, 2012 - September 28, 2012
会议地点	Istanbul, Turkey
收录类别	EI
ISSN	0302-9743
ISBN	9783642356315
部门归属	(1) Aalborg University Denmark; (2) INRIA Rennes - Bretagne Atlantique France; (3) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China
摘要	We present a new technique for verifying Weighted Metric Temporal Logic (WMTL) properties of Weighted Timed Automata. Our approach relies on Statistical Model Checking combined with a new monitoring algorithm based on rewriting rules. Contrary to existing monitoring approaches for WMTL ours is exact. The technique has been implemented in the statistical model checking engine of Uppaal and experiments indicate that the technique performs faster than existing approaches and leads to more accurate results. © 2013 Springer-Verlag Berlin Heidelberg.; We present a new technique for verifying Weighted Metric Temporal Logic (WMTL) properties of Weighted Timed Automata. Our approach relies on Statistical Model Checking combined with a new monitoring algorithm based on rewriting rules. Contrary to existing monitoring approaches for WMTL ours is exact. The technique has been implemented in the statistical model checking engine of Uppaal and experiments indicate that the technique performs faster than existing approaches and leads to more accurate results. © 2013 Springer-Verlag Berlin Heidelberg.
关键词	Automata Theory
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/15903
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Bulychev Peter,David Alexandre,Larsen Kim G.,et al. rewrite-based statistical model checking of wmtl[C],2013:260-275.