9 citations · 26 across the 15 of their papers we have counts for
Showing cs.FLShow all
3 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.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.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…