9 citations · 26 across the 15 of their papers we have counts for
1 paper · 1 filter
Marius Bozga, Radu Iosif, Joseph Sifakis
We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for…