Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878117615> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1878117615 endingPage "298" @default.
- W1878117615 startingPage "284" @default.
- W1878117615 abstract "Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against function contracts, which are expressed in terms of pre-, post-, and frame conditions using first-order predicates. Vx86 takes the annotated assembler code, translates it into C code simulating the processor, and then uses an existing C verifier to either prove the correctness of the assembler program or find errors in it. First experiments on applying Vx86 on the Windows Hypervisor code base are encouraging. Vx86 verified the Windows Hypervisor’s memory safety, arithmetic safety, call safety and interrupt safety." @default.
- W1878117615 created "2016-06-24" @default.
- W1878117615 creator A5002087212 @default.
- W1878117615 creator A5023573560 @default.
- W1878117615 creator A5081551496 @default.
- W1878117615 date "2008-01-01" @default.
- W1878117615 modified "2023-09-26" @default.
- W1878117615 title "Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving" @default.
- W1878117615 cites W1480909796 @default.
- W1878117615 cites W1511365483 @default.
- W1878117615 cites W1529372568 @default.
- W1878117615 cites W1571196178 @default.
- W1878117615 cites W1580566421 @default.
- W1878117615 cites W1606177908 @default.
- W1878117615 cites W1937179622 @default.
- W1878117615 cites W2002915275 @default.
- W1878117615 cites W2034711041 @default.
- W1878117615 cites W2058200237 @default.
- W1878117615 cites W2084715426 @default.
- W1878117615 cites W2101886288 @default.
- W1878117615 cites W2110980218 @default.
- W1878117615 cites W4232666937 @default.
- W1878117615 cites W1606623283 @default.
- W1878117615 doi "https://doi.org/10.1007/978-3-540-79980-1_22" @default.
- W1878117615 hasPublicationYear "2008" @default.
- W1878117615 type Work @default.
- W1878117615 sameAs 1878117615 @default.
- W1878117615 citedByCount "25" @default.
- W1878117615 countsByYear W18781176152012 @default.
- W1878117615 countsByYear W18781176152013 @default.
- W1878117615 countsByYear W18781176152015 @default.
- W1878117615 countsByYear W18781176152016 @default.
- W1878117615 countsByYear W18781176152017 @default.
- W1878117615 countsByYear W18781176152018 @default.
- W1878117615 countsByYear W18781176152019 @default.
- W1878117615 countsByYear W18781176152021 @default.
- W1878117615 countsByYear W18781176152022 @default.
- W1878117615 crossrefType "book-chapter" @default.
- W1878117615 hasAuthorship W1878117615A5002087212 @default.
- W1878117615 hasAuthorship W1878117615A5023573560 @default.
- W1878117615 hasAuthorship W1878117615A5081551496 @default.
- W1878117615 hasConcept C111919701 @default.
- W1878117615 hasConcept C126042441 @default.
- W1878117615 hasConcept C149635348 @default.
- W1878117615 hasConcept C170723468 @default.
- W1878117615 hasConcept C173018170 @default.
- W1878117615 hasConcept C173608175 @default.
- W1878117615 hasConcept C177264268 @default.
- W1878117615 hasConcept C199360897 @default.
- W1878117615 hasConcept C2776760102 @default.
- W1878117615 hasConcept C2777904410 @default.
- W1878117615 hasConcept C28180684 @default.
- W1878117615 hasConcept C41008148 @default.
- W1878117615 hasConcept C41661131 @default.
- W1878117615 hasConcept C50831359 @default.
- W1878117615 hasConcept C55439883 @default.
- W1878117615 hasConcept C76155785 @default.
- W1878117615 hasConceptScore W1878117615C111919701 @default.
- W1878117615 hasConceptScore W1878117615C126042441 @default.
- W1878117615 hasConceptScore W1878117615C149635348 @default.
- W1878117615 hasConceptScore W1878117615C170723468 @default.
- W1878117615 hasConceptScore W1878117615C173018170 @default.
- W1878117615 hasConceptScore W1878117615C173608175 @default.
- W1878117615 hasConceptScore W1878117615C177264268 @default.
- W1878117615 hasConceptScore W1878117615C199360897 @default.
- W1878117615 hasConceptScore W1878117615C2776760102 @default.
- W1878117615 hasConceptScore W1878117615C2777904410 @default.
- W1878117615 hasConceptScore W1878117615C28180684 @default.
- W1878117615 hasConceptScore W1878117615C41008148 @default.
- W1878117615 hasConceptScore W1878117615C41661131 @default.
- W1878117615 hasConceptScore W1878117615C50831359 @default.
- W1878117615 hasConceptScore W1878117615C55439883 @default.
- W1878117615 hasConceptScore W1878117615C76155785 @default.
- W1878117615 hasLocation W18781176151 @default.
- W1878117615 hasOpenAccess W1878117615 @default.
- W1878117615 hasPrimaryLocation W18781176151 @default.
- W1878117615 hasRelatedWork W1497385637 @default.
- W1878117615 hasRelatedWork W1587245652 @default.
- W1878117615 hasRelatedWork W1878117615 @default.
- W1878117615 hasRelatedWork W2035530954 @default.
- W1878117615 hasRelatedWork W2055911976 @default.
- W1878117615 hasRelatedWork W2100424584 @default.
- W1878117615 hasRelatedWork W2365495545 @default.
- W1878117615 hasRelatedWork W4247737992 @default.
- W1878117615 hasRelatedWork W4385504785 @default.
- W1878117615 hasRelatedWork W2495560387 @default.
- W1878117615 isParatext "false" @default.
- W1878117615 isRetracted "false" @default.
- W1878117615 magId "1878117615" @default.
- W1878117615 workType "book-chapter" @default.