Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950054037> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2950054037 abstract "A program invariant is a property that holds for every execution of the program. Recent work suggest to infer likely-only invariants, via dynamic analysis. A likely invariant is a property that holds for some executions but is not guaranteed to hold for all executions. In this paper, we present work in progress addressing the challenging problem of automatically verifying that likely invariants are actual invariants. We propose a constraint-based reasoning approach that is able, unlike other approaches, to both prove or disprove likely invariants. In the latter case, our approach provides counter-examples. We illustrate the approach on a motivating example where automatically generated likely invariants are verified." @default.
- W2950054037 created "2019-06-27" @default.
- W2950054037 creator A5009047342 @default.
- W2950054037 creator A5013313145 @default.
- W2950054037 creator A5056200551 @default.
- W2950054037 date "2005-08-24" @default.
- W2950054037 modified "2023-09-27" @default.
- W2950054037 title "Proving or Disproving likely Invariants with Constraint Reasoning" @default.
- W2950054037 cites W1516977875 @default.
- W2950054037 cites W1964830323 @default.
- W2950054037 cites W1982205631 @default.
- W2950054037 cites W1983119041 @default.
- W2950054037 cites W2025304834 @default.
- W2950054037 cites W2121478122 @default.
- W2950054037 cites W2132661148 @default.
- W2950054037 cites W2144737265 @default.
- W2950054037 cites W2161825580 @default.
- W2950054037 cites W2164392635 @default.
- W2950054037 cites W3106729728 @default.
- W2950054037 cites W3146075203 @default.
- W2950054037 hasPublicationYear "2005" @default.
- W2950054037 type Work @default.
- W2950054037 sameAs 2950054037 @default.
- W2950054037 citedByCount "1" @default.
- W2950054037 countsByYear W29500540372015 @default.
- W2950054037 crossrefType "posted-content" @default.
- W2950054037 hasAuthorship W2950054037A5009047342 @default.
- W2950054037 hasAuthorship W2950054037A5013313145 @default.
- W2950054037 hasAuthorship W2950054037A5056200551 @default.
- W2950054037 hasConcept C111472728 @default.
- W2950054037 hasConcept C138885662 @default.
- W2950054037 hasConcept C189950617 @default.
- W2950054037 hasConcept C190470478 @default.
- W2950054037 hasConcept C2524010 @default.
- W2950054037 hasConcept C2776036281 @default.
- W2950054037 hasConcept C33923547 @default.
- W2950054037 hasConcept C37914503 @default.
- W2950054037 hasConcept C41008148 @default.
- W2950054037 hasConcept C80444323 @default.
- W2950054037 hasConceptScore W2950054037C111472728 @default.
- W2950054037 hasConceptScore W2950054037C138885662 @default.
- W2950054037 hasConceptScore W2950054037C189950617 @default.
- W2950054037 hasConceptScore W2950054037C190470478 @default.
- W2950054037 hasConceptScore W2950054037C2524010 @default.
- W2950054037 hasConceptScore W2950054037C2776036281 @default.
- W2950054037 hasConceptScore W2950054037C33923547 @default.
- W2950054037 hasConceptScore W2950054037C37914503 @default.
- W2950054037 hasConceptScore W2950054037C41008148 @default.
- W2950054037 hasConceptScore W2950054037C80444323 @default.
- W2950054037 hasLocation W29500540371 @default.
- W2950054037 hasOpenAccess W2950054037 @default.
- W2950054037 hasPrimaryLocation W29500540371 @default.
- W2950054037 hasRelatedWork W1496468608 @default.
- W2950054037 hasRelatedWork W1582421782 @default.
- W2950054037 hasRelatedWork W1753494294 @default.
- W2950054037 hasRelatedWork W1966404556 @default.
- W2950054037 hasRelatedWork W1973291036 @default.
- W2950054037 hasRelatedWork W2061679993 @default.
- W2950054037 hasRelatedWork W2069139220 @default.
- W2950054037 hasRelatedWork W2089938751 @default.
- W2950054037 hasRelatedWork W2168997798 @default.
- W2950054037 hasRelatedWork W2399381900 @default.
- W2950054037 hasRelatedWork W2529529838 @default.
- W2950054037 hasRelatedWork W2743766528 @default.
- W2950054037 hasRelatedWork W2745813193 @default.
- W2950054037 hasRelatedWork W2889050595 @default.
- W2950054037 hasRelatedWork W2889520176 @default.
- W2950054037 hasRelatedWork W2901364762 @default.
- W2950054037 hasRelatedWork W2928965853 @default.
- W2950054037 hasRelatedWork W82474637 @default.
- W2950054037 hasRelatedWork W2182153662 @default.
- W2950054037 hasRelatedWork W958356219 @default.
- W2950054037 isParatext "false" @default.
- W2950054037 isRetracted "false" @default.
- W2950054037 magId "2950054037" @default.
- W2950054037 workType "article" @default.