9 citations · 36 across the 34 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Verification of Component-based Systems with Recursive Architectures
Marius Bozga, Radu Iosif, Joseph Sifakis
We study a sound verification method for parametric component-based systems. The method uses a resource logic, a new formal specification language for distributed systems consistin…
cs.LO2021
Reasoning about Reconfigurations of Distributed Systems
Emma Ahrens, Marius Bozga, Radu Iosif +1
This paper presents a Hoare-style calculus for formal reasoning about reconfiguration programs of distributed systems. Such programs create and delete components and/or interaction…