Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036723890> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2036723890 endingPage "242" @default.
- W2036723890 startingPage "233" @default.
- W2036723890 abstract "We present a framework, called air, for verifying safety properties of assembly language programs via software model checking. air extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, air allows verification of programs for which source code is unavailable—such as legacy and COTS software—and programs that use features—such as pointers, structures, and object-orientation—that are problematic for source-level software verification tools. In addition, air makes no assumptions about the underlying compiler technology. We have implemented a prototype of air and present encouraging results on several non-trivial examples." @default.
- W2036723890 created "2016-06-24" @default.
- W2036723890 creator A5017103330 @default.
- W2036723890 creator A5084751293 @default.
- W2036723890 date "2010-03-30" @default.
- W2036723890 modified "2023-10-18" @default.
- W2036723890 title "Software model checking without source code" @default.
- W2036723890 cites W1487950530 @default.
- W2036723890 cites W1497571013 @default.
- W2036723890 cites W1590256171 @default.
- W2036723890 cites W1690077620 @default.
- W2036723890 cites W176324665 @default.
- W2036723890 cites W1965348053 @default.
- W2036723890 cites W2034711041 @default.
- W2036723890 cites W2097223122 @default.
- W2036723890 cites W2101194984 @default.
- W2036723890 cites W2108443473 @default.
- W2036723890 cites W2127574686 @default.
- W2036723890 cites W2129538349 @default.
- W2036723890 cites W2135884244 @default.
- W2036723890 cites W2142785340 @default.
- W2036723890 cites W2145098440 @default.
- W2036723890 cites W2911450990 @default.
- W2036723890 cites W4213079124 @default.
- W2036723890 cites W4230796557 @default.
- W2036723890 cites W4240013487 @default.
- W2036723890 cites W4241497336 @default.
- W2036723890 cites W4243167850 @default.
- W2036723890 cites W4252150051 @default.
- W2036723890 doi "https://doi.org/10.1007/s11334-010-0125-0" @default.
- W2036723890 hasPublicationYear "2010" @default.
- W2036723890 type Work @default.
- W2036723890 sameAs 2036723890 @default.
- W2036723890 citedByCount "3" @default.
- W2036723890 countsByYear W20367238902014 @default.
- W2036723890 crossrefType "journal-article" @default.
- W2036723890 hasAuthorship W2036723890A5017103330 @default.
- W2036723890 hasAuthorship W2036723890A5084751293 @default.
- W2036723890 hasBestOaLocation W20367238902 @default.
- W2036723890 hasConcept C110251889 @default.
- W2036723890 hasConcept C111472728 @default.
- W2036723890 hasConcept C115903868 @default.
- W2036723890 hasConcept C124304363 @default.
- W2036723890 hasConcept C138885662 @default.
- W2036723890 hasConcept C169590947 @default.
- W2036723890 hasConcept C186846655 @default.
- W2036723890 hasConcept C199360897 @default.
- W2036723890 hasConcept C2777904410 @default.
- W2036723890 hasConcept C2779907942 @default.
- W2036723890 hasConcept C33054407 @default.
- W2036723890 hasConcept C41008148 @default.
- W2036723890 hasConcept C43126263 @default.
- W2036723890 hasConcept C529173508 @default.
- W2036723890 hasConceptScore W2036723890C110251889 @default.
- W2036723890 hasConceptScore W2036723890C111472728 @default.
- W2036723890 hasConceptScore W2036723890C115903868 @default.
- W2036723890 hasConceptScore W2036723890C124304363 @default.
- W2036723890 hasConceptScore W2036723890C138885662 @default.
- W2036723890 hasConceptScore W2036723890C169590947 @default.
- W2036723890 hasConceptScore W2036723890C186846655 @default.
- W2036723890 hasConceptScore W2036723890C199360897 @default.
- W2036723890 hasConceptScore W2036723890C2777904410 @default.
- W2036723890 hasConceptScore W2036723890C2779907942 @default.
- W2036723890 hasConceptScore W2036723890C33054407 @default.
- W2036723890 hasConceptScore W2036723890C41008148 @default.
- W2036723890 hasConceptScore W2036723890C43126263 @default.
- W2036723890 hasConceptScore W2036723890C529173508 @default.
- W2036723890 hasIssue "3" @default.
- W2036723890 hasLocation W20367238901 @default.
- W2036723890 hasLocation W20367238902 @default.
- W2036723890 hasOpenAccess W2036723890 @default.
- W2036723890 hasPrimaryLocation W20367238901 @default.
- W2036723890 hasRelatedWork W1497385637 @default.
- W2036723890 hasRelatedWork W2044422526 @default.
- W2036723890 hasRelatedWork W2086733238 @default.
- W2036723890 hasRelatedWork W2192862863 @default.
- W2036723890 hasRelatedWork W2359394116 @default.
- W2036723890 hasRelatedWork W2369288331 @default.
- W2036723890 hasRelatedWork W2519339279 @default.
- W2036723890 hasRelatedWork W3175324715 @default.
- W2036723890 hasRelatedWork W92012290 @default.
- W2036723890 hasRelatedWork W2467097043 @default.
- W2036723890 hasVolume "6" @default.
- W2036723890 isParatext "false" @default.
- W2036723890 isRetracted "false" @default.
- W2036723890 magId "2036723890" @default.
- W2036723890 workType "article" @default.