9 citations · 36 across the 34 of their papers we have counts for
Showing 2019Show 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.FL2019★ 8 cited
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We consider concurrent systems consisting of a finite but unknown number of components, that are replicated instances of a given set of finite state automata. The components commun…