8 citations · 8 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2016
Reasoning in the Bernays-Schoenfinkel-Ramsey Fragment of Separation Logic
Andrew Reynolds, Radu Iosif, Cristina Serban
Separation Logic (SL) is a well-known assertion language used in Hoare-style modular proof systems for programs with dynamically allocated data structures. In this paper we investi…
cs.FL2014
Interprocedural Reachability for Flat Integer Programs
Pierre Ganty, Radu Iosif
We study programs with integer data, procedure calls and arbitrary call graphs. We show that, whenever the guards and updates are given by octagonal relations, the reachability pro…