Title: | rewrite-based statistical model checking of wmtl |
Author: | Bulychev Peter
; David Alexandre
; Larsen Kim G.
; Legay Axel
; Li Guangyuan
; Poulsen Danny Bgsted
|
Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Conference Name: | 3rd International Conference on Runtime Verification, RV 2012
|
Conference Date: | September 25, 2012 - September 28, 2012
|
Issued Date: | 2013
|
Conference Place: | Istanbul, Turkey
|
Keyword: | Automata theory
|
Indexed Type: | EI
|
ISSN: | 0302-9743
|
ISBN: | 9783642356315
|
Department: | (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
|
Abstract: | 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. |
English Abstract: | 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. |
Language: | 英语
|
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/15903
|
Appears in Collections: | 软件所图书馆_会议论文
|
There are no files associated with this item.
|
Recommended Citation: |
Bulychev Peter,David Alexandre,Larsen Kim G.,et al. rewrite-based statistical model checking of wmtl[C]. 见:3rd International Conference on Runtime Verification, RV 2012. Istanbul, Turkey. September 25, 2012 - September 28, 2012.
|
|
|