Matches in SemOpenAlex for { <https://semopenalex.org/work/W71096408> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W71096408 endingPage "333" @default.
- W71096408 startingPage "319" @default.
- W71096408 abstract "With the years, program complexity has increased dramatically: ensuring program correctness has become considerably more difficult with the advent of multithreading, security has grown more prominent during the last decade, etc. As a result, static verification has become more important than ever. Automated verification tools exist, but they are only able to prove a limited set of properties, such as memory safety. If we want to prove full functional correctness of a program, other more powerful tools are available, but they generally require a lot more input from the programmer: they often need the code to be verified to be heavily annotated. In this paper, we attempt to combine the best of both worlds by starting off with a manual verification tool based on separation logic for which we develop techniques to automatically generate part of the required annotations. This approach provides more flexibility: for instance, it makes it possible to automatically check as large a part of the program as possible for memory errors and then manually add extra annotations only to those parts of the code where automated tools failed and/or full correctness is actually needed." @default.
- W71096408 created "2016-06-24" @default.
- W71096408 creator A5008329832 @default.
- W71096408 creator A5012443037 @default.
- W71096408 creator A5022437048 @default.
- W71096408 creator A5052967992 @default.
- W71096408 date "2011-01-01" @default.
- W71096408 modified "2023-09-25" @default.
- W71096408 title "Annotation Inference for Separation Logic Based Verifiers" @default.
- W71096408 cites W1508811155 @default.
- W71096408 cites W1528322206 @default.
- W71096408 cites W1545681762 @default.
- W71096408 cites W1555179958 @default.
- W71096408 cites W1562865234 @default.
- W71096408 cites W1573154295 @default.
- W71096408 cites W1600923511 @default.
- W71096408 cites W1606142489 @default.
- W71096408 cites W1606177908 @default.
- W71096408 cites W1946187443 @default.
- W71096408 cites W1959256509 @default.
- W71096408 cites W1983496086 @default.
- W71096408 cites W2053154567 @default.
- W71096408 cites W2095838677 @default.
- W71096408 cites W2130162474 @default.
- W71096408 cites W2137628566 @default.
- W71096408 cites W2155032935 @default.
- W71096408 cites W2171685273 @default.
- W71096408 cites W3015951847 @default.
- W71096408 cites W3160870209 @default.
- W71096408 cites W4205313167 @default.
- W71096408 doi "https://doi.org/10.1007/978-3-642-21461-5_21" @default.
- W71096408 hasPublicationYear "2011" @default.
- W71096408 type Work @default.
- W71096408 sameAs 71096408 @default.
- W71096408 citedByCount "12" @default.
- W71096408 countsByYear W710964082012 @default.
- W71096408 countsByYear W710964082013 @default.
- W71096408 countsByYear W710964082014 @default.
- W71096408 countsByYear W710964082015 @default.
- W71096408 countsByYear W710964082016 @default.
- W71096408 countsByYear W710964082018 @default.
- W71096408 countsByYear W710964082021 @default.
- W71096408 countsByYear W710964082022 @default.
- W71096408 crossrefType "book-chapter" @default.
- W71096408 hasAuthorship W71096408A5008329832 @default.
- W71096408 hasAuthorship W71096408A5012443037 @default.
- W71096408 hasAuthorship W71096408A5022437048 @default.
- W71096408 hasAuthorship W71096408A5052967992 @default.
- W71096408 hasBestOaLocation W710964082 @default.
- W71096408 hasConcept C105795698 @default.
- W71096408 hasConcept C115903868 @default.
- W71096408 hasConcept C138101251 @default.
- W71096408 hasConcept C173856430 @default.
- W71096408 hasConcept C177264268 @default.
- W71096408 hasConcept C199360897 @default.
- W71096408 hasConcept C201410400 @default.
- W71096408 hasConcept C2776760102 @default.
- W71096408 hasConcept C2778514511 @default.
- W71096408 hasConcept C2780598303 @default.
- W71096408 hasConcept C33923547 @default.
- W71096408 hasConcept C41008148 @default.
- W71096408 hasConcept C55439883 @default.
- W71096408 hasConcept C80444323 @default.
- W71096408 hasConceptScore W71096408C105795698 @default.
- W71096408 hasConceptScore W71096408C115903868 @default.
- W71096408 hasConceptScore W71096408C138101251 @default.
- W71096408 hasConceptScore W71096408C173856430 @default.
- W71096408 hasConceptScore W71096408C177264268 @default.
- W71096408 hasConceptScore W71096408C199360897 @default.
- W71096408 hasConceptScore W71096408C201410400 @default.
- W71096408 hasConceptScore W71096408C2776760102 @default.
- W71096408 hasConceptScore W71096408C2778514511 @default.
- W71096408 hasConceptScore W71096408C2780598303 @default.
- W71096408 hasConceptScore W71096408C33923547 @default.
- W71096408 hasConceptScore W71096408C41008148 @default.
- W71096408 hasConceptScore W71096408C55439883 @default.
- W71096408 hasConceptScore W71096408C80444323 @default.
- W71096408 hasLocation W710964081 @default.
- W71096408 hasLocation W710964082 @default.
- W71096408 hasLocation W710964083 @default.
- W71096408 hasLocation W710964084 @default.
- W71096408 hasOpenAccess W71096408 @default.
- W71096408 hasPrimaryLocation W710964081 @default.
- W71096408 hasRelatedWork W1503760549 @default.
- W71096408 hasRelatedWork W1608279668 @default.
- W71096408 hasRelatedWork W3137189469 @default.
- W71096408 hasRelatedWork W3160136729 @default.
- W71096408 hasRelatedWork W4206956498 @default.
- W71096408 hasRelatedWork W4237428255 @default.
- W71096408 hasRelatedWork W4246531319 @default.
- W71096408 hasRelatedWork W71096408 @default.
- W71096408 hasRelatedWork W1482645738 @default.
- W71096408 hasRelatedWork W1581434145 @default.
- W71096408 isParatext "false" @default.
- W71096408 isRetracted "false" @default.
- W71096408 magId "71096408" @default.
- W71096408 workType "book-chapter" @default.