67 citations · 116 across the 15 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
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…
cs.LO2008★ 67 cited
Interpolation in local theory extensions
Viorica Sofronie-Stokkermans
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using…