Parameterized Verification of Timed Networks with Clock Invariants

Étienne André, Swen Jacobs, Shyam Lal Karra +1

We consider parameterized verification problems for networks of timed automata (TAs) based on different communication primitives. To this end, we first consider disjunctive timed n…