Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007491350> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2007491350 endingPage "678" @default.
- W2007491350 startingPage "674" @default.
- W2007491350 abstract "In this paper, we propose a property-specific sequential invariant extraction algorithm to improve the performance of the SAT-based Unbounded Modeling Checkers (UMCs). By analyzing the property-related predicates and their corresponding high-level design constructs such as FSMs and counters, we can quickly identify the sequential invariants that are useful in improving the property proving capabilities. We utilize these sequential invariants to refine the inductive hypothesis in induction-based UMCs, and to improve the accuracy of reachable state approximation in interpolation-based UMCs. The experimental results show that our tool can outperform a state-of-the-art UMC in most cases, especially for the difficult true properties." @default.
- W2007491350 created "2016-06-24" @default.
- W2007491350 creator A5037030191 @default.
- W2007491350 creator A5059907429 @default.
- W2007491350 creator A5069922390 @default.
- W2007491350 date "2011-11-07" @default.
- W2007491350 modified "2023-09-24" @default.
- W2007491350 title "Property-specific sequential invariant extraction for SAT-based unbounded model checking" @default.
- W2007491350 cites W1495266209 @default.
- W2007491350 cites W1510368738 @default.
- W2007491350 cites W1552280794 @default.
- W2007491350 cites W1553731663 @default.
- W2007491350 cites W1836483134 @default.
- W2007491350 cites W2098354936 @default.
- W2007491350 cites W2113677233 @default.
- W2007491350 cites W2122614187 @default.
- W2007491350 cites W2146422945 @default.
- W2007491350 cites W2164829820 @default.
- W2007491350 cites W2165097265 @default.
- W2007491350 cites W3140816671 @default.
- W2007491350 cites W2505899503 @default.
- W2007491350 doi "https://doi.org/10.5555/2132325.2132475" @default.
- W2007491350 hasPublicationYear "2011" @default.
- W2007491350 type Work @default.
- W2007491350 sameAs 2007491350 @default.
- W2007491350 citedByCount "0" @default.
- W2007491350 crossrefType "proceedings-article" @default.
- W2007491350 hasAuthorship W2007491350A5037030191 @default.
- W2007491350 hasAuthorship W2007491350A5059907429 @default.
- W2007491350 hasAuthorship W2007491350A5069922390 @default.
- W2007491350 hasConcept C104114177 @default.
- W2007491350 hasConcept C110251889 @default.
- W2007491350 hasConcept C111472728 @default.
- W2007491350 hasConcept C11413529 @default.
- W2007491350 hasConcept C137800194 @default.
- W2007491350 hasConcept C138885662 @default.
- W2007491350 hasConcept C154945302 @default.
- W2007491350 hasConcept C189950617 @default.
- W2007491350 hasConcept C190470478 @default.
- W2007491350 hasConcept C33923547 @default.
- W2007491350 hasConcept C37914503 @default.
- W2007491350 hasConcept C41008148 @default.
- W2007491350 hasConcept C80444323 @default.
- W2007491350 hasConceptScore W2007491350C104114177 @default.
- W2007491350 hasConceptScore W2007491350C110251889 @default.
- W2007491350 hasConceptScore W2007491350C111472728 @default.
- W2007491350 hasConceptScore W2007491350C11413529 @default.
- W2007491350 hasConceptScore W2007491350C137800194 @default.
- W2007491350 hasConceptScore W2007491350C138885662 @default.
- W2007491350 hasConceptScore W2007491350C154945302 @default.
- W2007491350 hasConceptScore W2007491350C189950617 @default.
- W2007491350 hasConceptScore W2007491350C190470478 @default.
- W2007491350 hasConceptScore W2007491350C33923547 @default.
- W2007491350 hasConceptScore W2007491350C37914503 @default.
- W2007491350 hasConceptScore W2007491350C41008148 @default.
- W2007491350 hasConceptScore W2007491350C80444323 @default.
- W2007491350 hasLocation W20074913501 @default.
- W2007491350 hasOpenAccess W2007491350 @default.
- W2007491350 hasPrimaryLocation W20074913501 @default.
- W2007491350 hasRelatedWork W1497670448 @default.
- W2007491350 hasRelatedWork W1505949793 @default.
- W2007491350 hasRelatedWork W1970980446 @default.
- W2007491350 hasRelatedWork W2037627534 @default.
- W2007491350 hasRelatedWork W2066257627 @default.
- W2007491350 hasRelatedWork W2071634454 @default.
- W2007491350 hasRelatedWork W2093717281 @default.
- W2007491350 hasRelatedWork W2106799743 @default.
- W2007491350 hasRelatedWork W2158393828 @default.
- W2007491350 hasRelatedWork W2549120294 @default.
- W2007491350 hasRelatedWork W2575720766 @default.
- W2007491350 hasRelatedWork W2767382859 @default.
- W2007491350 hasRelatedWork W2776858923 @default.
- W2007491350 hasRelatedWork W2938781954 @default.
- W2007491350 hasRelatedWork W2951927232 @default.
- W2007491350 hasRelatedWork W3140816671 @default.
- W2007491350 hasRelatedWork W3147068493 @default.
- W2007491350 hasRelatedWork W3171882411 @default.
- W2007491350 hasRelatedWork W61329259 @default.
- W2007491350 hasRelatedWork W987325385 @default.
- W2007491350 isParatext "false" @default.
- W2007491350 isRetracted "false" @default.
- W2007491350 magId "2007491350" @default.
- W2007491350 workType "article" @default.