文章基本信息
- 标题：Automated Predicate Abstraction for Real-Time Models
- 本地全文：下载
- 作者：Bahareh Badban ; Stefan Leue ; Jan-Georg Smaus 等
- 期刊名称：Electronic Proceedings in Theoretical Computer Science
- 电子版ISSN：2075-2180
- 出版年度：2009
- 卷号：10
- 页码：36-43
- DOI：10.4204/EPTCS.10.3
- 出版社：Open Publishing Association
- 摘要：We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata.
We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.
