18 citations · 48 across the 21 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 1 cited
Local Reasoning about Parametric and Reconfigurable Component-based Systems
Marius Bozga, Radu Iosif, Joseph Sifakis
We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but the bound on their nu…
cs.LO2018
Checking Deadlock-Freedom of Parametric Component-Based Systems
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…