9 citations · 26 across the 15 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.FL2020
Verifying Safety Properties of Inductively Defined Parameterized Systems
Marius Bozga, Radu Iosif
We introduce a term algebra as a new formal specification language for the coordinating architectures of distributed systems consisting of a finite yet unbounded number of componen…
cs.DC2020★ 2 cited
Structural Invariants for the Verification of Systems with Parameterized Architectures
Marius Bozga, Javier Esparza, Radu Iosif +2
We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components commu…