11 citations · 43 across the 24 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 11 cited
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
We study verification over a general model of artifact-centric systems, to assess (parameterized) safety properties irrespectively of the initial database instance. We view such ar…
cs.LO2018★ 6 cited
Quantifier Elimination for Database Driven Verification
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola +2
Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notio…