Parametric Systems: Verification and Synthesis
Viorica Sofronie-Stokkermans · Fundamenta Informaticae · 2020
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 be constants or functions. Our goal is to automatically provide guarant