1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2019
On Invariant Synthesis for Parametric Systems
Dennis Peuter, Viorica Sofronie-Stokkermans
We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a metho…
cs.LO2008
Sheaves and geometric logic and applications to the modular verification of complex systems
Viorica Sofronie-Stokkermans
In this paper we show that states, transitions and behavior of concurrent systems can often be modeled as sheaves over a suitable topological space. In this context, geometric logi…
cs.LO2008★ 1 cited
On combinations of local theory extensions
Viorica Sofronie-Stokkermans
In this paper we study possibilities of efficient reasoning in combinations of theories over possibly non-disjoint signatures. We first present a class of theory extensions (called…