Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem +2

We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main…