Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100099517> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2100099517 endingPage "207" @default.
- W2100099517 startingPage "203" @default.
- W2100099517 abstract "This paper presents FunFrog, a tool that implements a function summarization approach for software bounded model checking. It uses interpolation-based function summaries as over-approximation of function calls. In every successful verification run, FunFrog generates function summaries of the analyzed program functions and reuses them to reduce the complexity of the successive verification. To prevent reporting spurious errors , the tool incorporates a counter-example-guided refinement loop. Experimental evaluation demonstrates competitiveness of FunFrog with respect to state-of-the-art software model checkers." @default.
- W2100099517 created "2016-06-24" @default.
- W2100099517 creator A5027818967 @default.
- W2100099517 creator A5033145955 @default.
- W2100099517 creator A5075152083 @default.
- W2100099517 date "2012-01-01" @default.
- W2100099517 modified "2023-10-18" @default.
- W2100099517 title "FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization" @default.
- W2100099517 cites W15179086 @default.
- W2100099517 cites W1787074469 @default.
- W2100099517 cites W2114633883 @default.
- W2100099517 cites W2146110773 @default.
- W2100099517 doi "https://doi.org/10.1007/978-3-642-33386-6_17" @default.
- W2100099517 hasPublicationYear "2012" @default.
- W2100099517 type Work @default.
- W2100099517 sameAs 2100099517 @default.
- W2100099517 citedByCount "20" @default.
- W2100099517 countsByYear W21000995172013 @default.
- W2100099517 countsByYear W21000995172014 @default.
- W2100099517 countsByYear W21000995172015 @default.
- W2100099517 countsByYear W21000995172016 @default.
- W2100099517 countsByYear W21000995172017 @default.
- W2100099517 countsByYear W21000995172018 @default.
- W2100099517 countsByYear W21000995172019 @default.
- W2100099517 crossrefType "book-chapter" @default.
- W2100099517 hasAuthorship W2100099517A5027818967 @default.
- W2100099517 hasAuthorship W2100099517A5033145955 @default.
- W2100099517 hasAuthorship W2100099517A5075152083 @default.
- W2100099517 hasConcept C104114177 @default.
- W2100099517 hasConcept C110251889 @default.
- W2100099517 hasConcept C11413529 @default.
- W2100099517 hasConcept C119857082 @default.
- W2100099517 hasConcept C134306372 @default.
- W2100099517 hasConcept C137800194 @default.
- W2100099517 hasConcept C14036430 @default.
- W2100099517 hasConcept C154945302 @default.
- W2100099517 hasConcept C170858558 @default.
- W2100099517 hasConcept C199360897 @default.
- W2100099517 hasConcept C2777904410 @default.
- W2100099517 hasConcept C30888246 @default.
- W2100099517 hasConcept C33923547 @default.
- W2100099517 hasConcept C34388435 @default.
- W2100099517 hasConcept C41008148 @default.
- W2100099517 hasConcept C78458016 @default.
- W2100099517 hasConcept C80444323 @default.
- W2100099517 hasConcept C86803240 @default.
- W2100099517 hasConcept C97256817 @default.
- W2100099517 hasConceptScore W2100099517C104114177 @default.
- W2100099517 hasConceptScore W2100099517C110251889 @default.
- W2100099517 hasConceptScore W2100099517C11413529 @default.
- W2100099517 hasConceptScore W2100099517C119857082 @default.
- W2100099517 hasConceptScore W2100099517C134306372 @default.
- W2100099517 hasConceptScore W2100099517C137800194 @default.
- W2100099517 hasConceptScore W2100099517C14036430 @default.
- W2100099517 hasConceptScore W2100099517C154945302 @default.
- W2100099517 hasConceptScore W2100099517C170858558 @default.
- W2100099517 hasConceptScore W2100099517C199360897 @default.
- W2100099517 hasConceptScore W2100099517C2777904410 @default.
- W2100099517 hasConceptScore W2100099517C30888246 @default.
- W2100099517 hasConceptScore W2100099517C33923547 @default.
- W2100099517 hasConceptScore W2100099517C34388435 @default.
- W2100099517 hasConceptScore W2100099517C41008148 @default.
- W2100099517 hasConceptScore W2100099517C78458016 @default.
- W2100099517 hasConceptScore W2100099517C80444323 @default.
- W2100099517 hasConceptScore W2100099517C86803240 @default.
- W2100099517 hasConceptScore W2100099517C97256817 @default.
- W2100099517 hasLocation W21000995171 @default.
- W2100099517 hasOpenAccess W2100099517 @default.
- W2100099517 hasPrimaryLocation W21000995171 @default.
- W2100099517 hasRelatedWork W1860772589 @default.
- W2100099517 hasRelatedWork W1993103557 @default.
- W2100099517 hasRelatedWork W2092744187 @default.
- W2100099517 hasRelatedWork W2186626863 @default.
- W2100099517 hasRelatedWork W2275271575 @default.
- W2100099517 hasRelatedWork W2322625434 @default.
- W2100099517 hasRelatedWork W2400856453 @default.
- W2100099517 hasRelatedWork W2884613112 @default.
- W2100099517 hasRelatedWork W2914717517 @default.
- W2100099517 hasRelatedWork W4295885746 @default.
- W2100099517 isParatext "false" @default.
- W2100099517 isRetracted "false" @default.
- W2100099517 magId "2100099517" @default.
- W2100099517 workType "book-chapter" @default.