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 |
| 会议日期 | September 25, 2012 - September 28, 2012 |
| 会议地点 | Istanbul, Turkey |
| 关键词 | Automata theory |
| 页码 | 260-275 |
| 中文摘要 | 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. |
| 收录类别 | EI |
| 会议录 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
 |
| 语种 | 英语 |
| ISSN号 | 0302-9743 |
| ISBN号 | 9783642356315 |
| 源URL | [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]. 见:3rd International Conference on Runtime Verification, RV 2012. Istanbul, Turkey. September 25, 2012 - September 28, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。