1 citations · 1 across the 4 of their papers we have counts for
Showing cs.FLShow 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.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…