Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811284045> ?p ?o ?g. }
- W2811284045 abstract "Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notion of a cover introduced in ESOP 2008 by Gulwani and Musuvathi. In this paper, 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. In addition, we show that cover computations are computationally tractable for the fragment of the language used in applications to database driven verification. This observation is confirmed by analyzing the preliminary results obtained using the MCMT tool on the verification of data-aware process benchmarks. These benchmarks can be found in the last version of the tool distribution." @default.
- W2811284045 created "2018-07-10" @default.
- W2811284045 creator A5041352997 @default.
- W2811284045 creator A5047795784 @default.
- W2811284045 creator A5069796121 @default.
- W2811284045 creator A5077723508 @default.
- W2811284045 creator A5089863459 @default.
- W2811284045 date "2018-06-25" @default.
- W2811284045 modified "2023-09-27" @default.
- W2811284045 title "Quantifier Elimination for Database Driven Verification" @default.
- W2811284045 cites W1481689110 @default.
- W2811284045 cites W1501719149 @default.
- W2811284045 cites W1507112684 @default.
- W2811284045 cites W1515795741 @default.
- W2811284045 cites W1516900991 @default.
- W2811284045 cites W1539567407 @default.
- W2811284045 cites W1567159952 @default.
- W2811284045 cites W1567682528 @default.
- W2811284045 cites W1583295953 @default.
- W2811284045 cites W1584399668 @default.
- W2811284045 cites W1716633099 @default.
- W2811284045 cites W1860618800 @default.
- W2811284045 cites W1966647497 @default.
- W2811284045 cites W2002333089 @default.
- W2811284045 cites W2026276439 @default.
- W2811284045 cites W2029133737 @default.
- W2811284045 cites W2032455733 @default.
- W2811284045 cites W2037085273 @default.
- W2811284045 cites W2043314428 @default.
- W2811284045 cites W2046261894 @default.
- W2811284045 cites W2060273424 @default.
- W2811284045 cites W2082963442 @default.
- W2811284045 cites W2082976889 @default.
- W2811284045 cites W2127394739 @default.
- W2811284045 cites W2138865396 @default.
- W2811284045 cites W2150628379 @default.
- W2811284045 cites W2153131284 @default.
- W2811284045 cites W2163133050 @default.
- W2811284045 cites W2748135832 @default.
- W2811284045 cites W2767313636 @default.
- W2811284045 cites W2795842861 @default.
- W2811284045 cites W2799061192 @default.
- W2811284045 cites W2810777846 @default.
- W2811284045 cites W2897602893 @default.
- W2811284045 cites W2914834504 @default.
- W2811284045 cites W2964347059 @default.
- W2811284045 cites W2969474843 @default.
- W2811284045 cites W2970121935 @default.
- W2811284045 cites W81626549 @default.
- W2811284045 cites W2522890436 @default.
- W2811284045 hasPublicationYear "2018" @default.
- W2811284045 type Work @default.
- W2811284045 sameAs 2811284045 @default.
- W2811284045 citedByCount "2" @default.
- W2811284045 countsByYear W28112840452018 @default.
- W2811284045 countsByYear W28112840452019 @default.
- W2811284045 crossrefType "posted-content" @default.
- W2811284045 hasAuthorship W2811284045A5041352997 @default.
- W2811284045 hasAuthorship W2811284045A5047795784 @default.
- W2811284045 hasAuthorship W2811284045A5069796121 @default.
- W2811284045 hasAuthorship W2811284045A5077723508 @default.
- W2811284045 hasAuthorship W2811284045A5089863459 @default.
- W2811284045 hasConcept C111335779 @default.
- W2811284045 hasConcept C11413529 @default.
- W2811284045 hasConcept C127413603 @default.
- W2811284045 hasConcept C154945302 @default.
- W2811284045 hasConcept C199360897 @default.
- W2811284045 hasConcept C2524010 @default.
- W2811284045 hasConcept C2776235265 @default.
- W2811284045 hasConcept C2778523021 @default.
- W2811284045 hasConcept C2780428219 @default.
- W2811284045 hasConcept C32278780 @default.
- W2811284045 hasConcept C33923547 @default.
- W2811284045 hasConcept C41008148 @default.
- W2811284045 hasConcept C45374587 @default.
- W2811284045 hasConcept C77088390 @default.
- W2811284045 hasConcept C78519656 @default.
- W2811284045 hasConcept C80444323 @default.
- W2811284045 hasConceptScore W2811284045C111335779 @default.
- W2811284045 hasConceptScore W2811284045C11413529 @default.
- W2811284045 hasConceptScore W2811284045C127413603 @default.
- W2811284045 hasConceptScore W2811284045C154945302 @default.
- W2811284045 hasConceptScore W2811284045C199360897 @default.
- W2811284045 hasConceptScore W2811284045C2524010 @default.
- W2811284045 hasConceptScore W2811284045C2776235265 @default.
- W2811284045 hasConceptScore W2811284045C2778523021 @default.
- W2811284045 hasConceptScore W2811284045C2780428219 @default.
- W2811284045 hasConceptScore W2811284045C32278780 @default.
- W2811284045 hasConceptScore W2811284045C33923547 @default.
- W2811284045 hasConceptScore W2811284045C41008148 @default.
- W2811284045 hasConceptScore W2811284045C45374587 @default.
- W2811284045 hasConceptScore W2811284045C77088390 @default.
- W2811284045 hasConceptScore W2811284045C78519656 @default.
- W2811284045 hasConceptScore W2811284045C80444323 @default.
- W2811284045 hasLocation W28112840451 @default.
- W2811284045 hasOpenAccess W2811284045 @default.
- W2811284045 hasPrimaryLocation W28112840451 @default.
- W2811284045 hasRelatedWork W1516900991 @default.
- W2811284045 hasRelatedWork W1644782203 @default.
- W2811284045 hasRelatedWork W1811042101 @default.