73 citations · 149 across the 21 of their papers we have counts for
3 papers · 1 filter
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Silvio Ghilardi, Alessandro Gianola, Marco Montali +1
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Dat…
General Interpolation and Strong Amalgamation for Contiguous Arrays
Silvio Ghilardi, Alessandro Gianola, Deepak Kapur +1
Interpolation is an essential tool in software verification, where first-order theories are used to constrain datatypes manipulated by programs. In this paper, we introduce the dat…
Admissibility of -Inference Rules: interpolation, model completion, and contact algebras
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1
We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to…