Data di Pubblicazione:
2019
Citazione:
Model Completeness, Covers and Superposition / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Automated Deduction – CADE 27 / [a cura di] P. Fontaine. - [s.l] : Springer, 2019 Aug. - ISBN 9783030294359. - pp. 142-160 (( Intervento presentato al 27. convegno International Conference on Automated Deduction tenutosi a Natal nel 2019.
Abstract:
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware processes, we show how covers are strictly related to model completions, a well-known topic in model theory. We also investigate the computation of covers within the Superposition Calculus, by adopting a constrained version of the calculus, equipped with appropriate settings and reduction strategies.
Tipologia IRIS:
03 - Contributo in volume
Elenco autori:
D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin
Link alla scheda completa:
Titolo del libro:
Automated Deduction – CADE 27