Matches in SemOpenAlex for { <https://semopenalex.org/work/W144278825> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W144278825 endingPage "347" @default.
- W144278825 startingPage "332" @default.
- W144278825 abstract "Predicate abstraction is an established technique for reducing the size of the state space during verification. In this paper, we extend predication abstraction with block-abstraction memoization (BAM), which exploits the fact that blocks are often executed several times in a program. The verification can thus benefit from caching the values of previous block analyses and reusing them upon next entry into a block. In addition to function bodies, BAM also performs well for nested loops. To further increase effectiveness, block memoization has been integrated with lazy abstraction adopting a lazy strategy for cache refinement. Together, this achieves significant performance increases: our tool (an implementation within the configurable program analysis framework CPAchecker) has won the Competition on Software Verification 2012 in the category Overall." @default.
- W144278825 created "2016-06-24" @default.
- W144278825 creator A5043271085 @default.
- W144278825 creator A5046915601 @default.
- W144278825 date "2012-01-01" @default.
- W144278825 modified "2023-10-01" @default.
- W144278825 title "Predicate Analysis with Block-Abstraction Memoization" @default.
- W144278825 cites W1497571013 @default.
- W144278825 cites W1500350535 @default.
- W144278825 cites W1553858749 @default.
- W144278825 cites W1556462035 @default.
- W144278825 cites W1562679818 @default.
- W144278825 cites W1577404745 @default.
- W144278825 cites W1590503034 @default.
- W144278825 cites W1691700263 @default.
- W144278825 cites W1968898611 @default.
- W144278825 cites W2034711041 @default.
- W144278825 cites W2076933173 @default.
- W144278825 cites W2080573945 @default.
- W144278825 cites W2105357036 @default.
- W144278825 cites W2112350720 @default.
- W144278825 cites W2120484044 @default.
- W144278825 cites W2126626789 @default.
- W144278825 cites W2149647957 @default.
- W144278825 cites W2161253570 @default.
- W144278825 cites W2164151624 @default.
- W144278825 cites W2283869266 @default.
- W144278825 cites W2998601343 @default.
- W144278825 cites W4252150051 @default.
- W144278825 cites W4254377784 @default.
- W144278825 cites W95161029 @default.
- W144278825 doi "https://doi.org/10.1007/978-3-642-34281-3_24" @default.
- W144278825 hasPublicationYear "2012" @default.
- W144278825 type Work @default.
- W144278825 sameAs 144278825 @default.
- W144278825 citedByCount "13" @default.
- W144278825 countsByYear W1442788252015 @default.
- W144278825 countsByYear W1442788252016 @default.
- W144278825 countsByYear W1442788252017 @default.
- W144278825 countsByYear W1442788252018 @default.
- W144278825 countsByYear W1442788252019 @default.
- W144278825 countsByYear W1442788252020 @default.
- W144278825 countsByYear W1442788252021 @default.
- W144278825 countsByYear W1442788252022 @default.
- W144278825 crossrefType "book-chapter" @default.
- W144278825 hasAuthorship W144278825A5043271085 @default.
- W144278825 hasAuthorship W144278825A5046915601 @default.
- W144278825 hasConcept C110251889 @default.
- W144278825 hasConcept C111472728 @default.
- W144278825 hasConcept C124304363 @default.
- W144278825 hasConcept C138885662 @default.
- W144278825 hasConcept C140146324 @default.
- W144278825 hasConcept C186644900 @default.
- W144278825 hasConcept C199360897 @default.
- W144278825 hasConcept C2779907942 @default.
- W144278825 hasConcept C41008148 @default.
- W144278825 hasConcept C42560504 @default.
- W144278825 hasConcept C79516417 @default.
- W144278825 hasConceptScore W144278825C110251889 @default.
- W144278825 hasConceptScore W144278825C111472728 @default.
- W144278825 hasConceptScore W144278825C124304363 @default.
- W144278825 hasConceptScore W144278825C138885662 @default.
- W144278825 hasConceptScore W144278825C140146324 @default.
- W144278825 hasConceptScore W144278825C186644900 @default.
- W144278825 hasConceptScore W144278825C199360897 @default.
- W144278825 hasConceptScore W144278825C2779907942 @default.
- W144278825 hasConceptScore W144278825C41008148 @default.
- W144278825 hasConceptScore W144278825C42560504 @default.
- W144278825 hasConceptScore W144278825C79516417 @default.
- W144278825 hasLocation W1442788251 @default.
- W144278825 hasOpenAccess W144278825 @default.
- W144278825 hasPrimaryLocation W1442788251 @default.
- W144278825 hasRelatedWork W144278825 @default.
- W144278825 hasRelatedWork W1534716074 @default.
- W144278825 hasRelatedWork W1587665238 @default.
- W144278825 hasRelatedWork W1968331212 @default.
- W144278825 hasRelatedWork W2086991228 @default.
- W144278825 hasRelatedWork W2464248795 @default.
- W144278825 hasRelatedWork W36793001 @default.
- W144278825 hasRelatedWork W39463397 @default.
- W144278825 hasRelatedWork W4242057943 @default.
- W144278825 hasRelatedWork W2611182424 @default.
- W144278825 isParatext "false" @default.
- W144278825 isRetracted "false" @default.
- W144278825 magId "144278825" @default.
- W144278825 workType "book-chapter" @default.