@inproceedings{10.1007/978-3-030-29436-6_9,
    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.},
    Address = {Cham},
    Author = {Calvanese, Diego and Ghilardi, Silvio and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey},
    BookTitle = {Automated Deduction -- CADE 27},
    Editor = {Fontaine, Pascal},
    File = {Model completeness, covers and superposition - Calvanese2019\_Chapter\_ModelCompletenessCoversAndSupe - a - a - x.pdf},
    ISBN = {978-3-030-29436-6},
    Pages = {142--160},
    Publisher = {Springer International Publishing},
    Title = {Model Completeness, Covers and Superposition},
    Year = {2019},
    date-added = {2020-03-03 15:02:22 +0100},
    date-modified = {2020-03-03 15:02:22 +0100},
    doi = {10.1007/978-3-030-29436-6_9}
}

@inproceedings{10.1007/978-3-030-29436-6_9, 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.}, Address = {Cham}, Author = {Calvanese, Diego and Ghilardi, Silvio and Gianola, Alessandro and Montali, Marco and Rivkin, Andrey}, BookTitle = {Automated Deduction -- CADE 27}, Editor = {Fontaine, Pascal}, File = {Model completeness, covers and superposition - Calvanese2019_Chapter_ModelCompletenessCoversAndSupe - a - a - x.pdf}, ISBN = {978-3-030-29436-6}, Pages = {142--160}, Publisher = {Springer International Publishing}, Title = {Model Completeness, Covers and Superposition}, Year = {2019}, date-added = {2020-03-03 15:02:22 +0100}, date-modified = {2020-03-03 15:02:22 +0100}, doi = {10.1007/978-3-030-29436-6_9} }