Automated Predicate Abstraction for Real-Time Models

Bahareh Badban, Stefan Leue, Jan-Georg Smaus

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…