Institutional Repository
| rewrite-based statistical model checking of wmtl | |
| Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted | |
| 2013 | |
| Conference Name | 3rd International Conference on Runtime Verification, RV 2012 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 260-275 |
| Conference Date | September 25, 2012 - September 28, 2012 |
| Conference Place | Istanbul, Turkey |
| 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 |
| 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.; 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. |
| Keyword | Automata Theory |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15903 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Bulychev Peter,David Alexandre,Larsen Kim G.,et al. rewrite-based statistical model checking of wmtl[C],2013:260-275. |
| 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