Matches in SemOpenAlex for { <https://semopenalex.org/work/W40211954> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W40211954 endingPage "414" @default.
- W40211954 startingPage "412" @default.
- W40211954 abstract "AbstractPredator is a shape analyzer that uses the abstract domain of symbolic memory graphs in order to support various forms of low-level memory manipulation commonly used in optimized C code. This paper briefly describes the verification approach taken by Predator and its strengths and weaknesses revealed during its participation in the Software Verification Competition (SV-COMP’14).KeywordsAbstract DomainInput ProgramOpen Source Software ProjectError TraceAbstraction OperatorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W40211954 created "2016-06-24" @default.
- W40211954 creator A5005128087 @default.
- W40211954 creator A5035201606 @default.
- W40211954 creator A5087859884 @default.
- W40211954 date "2014-01-01" @default.
- W40211954 modified "2023-09-23" @default.
- W40211954 title "Predator: A Shape Analyzer Based on Symbolic Memory Graphs" @default.
- W40211954 cites W1001614398 @default.
- W40211954 cites W1560664218 @default.
- W40211954 cites W1686717288 @default.
- W40211954 cites W2152686702 @default.
- W40211954 doi "https://doi.org/10.1007/978-3-642-54862-8_33" @default.
- W40211954 hasPublicationYear "2014" @default.
- W40211954 type Work @default.
- W40211954 sameAs 40211954 @default.
- W40211954 citedByCount "2" @default.
- W40211954 countsByYear W402119542014 @default.
- W40211954 countsByYear W402119542015 @default.
- W40211954 crossrefType "book-chapter" @default.
- W40211954 hasAuthorship W40211954A5005128087 @default.
- W40211954 hasAuthorship W40211954A5035201606 @default.
- W40211954 hasAuthorship W40211954A5087859884 @default.
- W40211954 hasBestOaLocation W402119541 @default.
- W40211954 hasConcept C111472728 @default.
- W40211954 hasConcept C11413529 @default.
- W40211954 hasConcept C134306372 @default.
- W40211954 hasConcept C138885662 @default.
- W40211954 hasConcept C158007255 @default.
- W40211954 hasConcept C177264268 @default.
- W40211954 hasConcept C199360897 @default.
- W40211954 hasConcept C2776760102 @default.
- W40211954 hasConcept C2777904410 @default.
- W40211954 hasConcept C2779639559 @default.
- W40211954 hasConcept C33923547 @default.
- W40211954 hasConcept C36503486 @default.
- W40211954 hasConcept C41008148 @default.
- W40211954 hasConcept C63882131 @default.
- W40211954 hasConcept C76155785 @default.
- W40211954 hasConcept C80444323 @default.
- W40211954 hasConcept C98045186 @default.
- W40211954 hasConceptScore W40211954C111472728 @default.
- W40211954 hasConceptScore W40211954C11413529 @default.
- W40211954 hasConceptScore W40211954C134306372 @default.
- W40211954 hasConceptScore W40211954C138885662 @default.
- W40211954 hasConceptScore W40211954C158007255 @default.
- W40211954 hasConceptScore W40211954C177264268 @default.
- W40211954 hasConceptScore W40211954C199360897 @default.
- W40211954 hasConceptScore W40211954C2776760102 @default.
- W40211954 hasConceptScore W40211954C2777904410 @default.
- W40211954 hasConceptScore W40211954C2779639559 @default.
- W40211954 hasConceptScore W40211954C33923547 @default.
- W40211954 hasConceptScore W40211954C36503486 @default.
- W40211954 hasConceptScore W40211954C41008148 @default.
- W40211954 hasConceptScore W40211954C63882131 @default.
- W40211954 hasConceptScore W40211954C76155785 @default.
- W40211954 hasConceptScore W40211954C80444323 @default.
- W40211954 hasConceptScore W40211954C98045186 @default.
- W40211954 hasLocation W402119541 @default.
- W40211954 hasOpenAccess W40211954 @default.
- W40211954 hasPrimaryLocation W402119541 @default.
- W40211954 hasRelatedWork W1485738864 @default.
- W40211954 hasRelatedWork W198136691 @default.
- W40211954 hasRelatedWork W2137908418 @default.
- W40211954 hasRelatedWork W2380602769 @default.
- W40211954 hasRelatedWork W2384847609 @default.
- W40211954 hasRelatedWork W2552367307 @default.
- W40211954 hasRelatedWork W2753843159 @default.
- W40211954 hasRelatedWork W2899100898 @default.
- W40211954 hasRelatedWork W40211954 @default.
- W40211954 hasRelatedWork W4232884709 @default.
- W40211954 isParatext "false" @default.
- W40211954 isRetracted "false" @default.
- W40211954 magId "40211954" @default.
- W40211954 workType "book-chapter" @default.