67 citations · 116 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Parametric Systems: Verification and Synthesis
Viorica Sofronie-Stokkermans
In this paper we study possibilities of using hierarchical reasoning, symbol elimination and model generation for the verification of parametric systems, where the parameters can b…
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…