Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162713269> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2162713269 endingPage "150" @default.
- W2162713269 startingPage "136" @default.
- W2162713269 abstract "Predicate abstraction is a form of abstract interpretation where the abstract domain is constructed from a finite set of predicates over the variables of the program. This paper explores a way to integrate predicate abstraction into a calculus for deductive program verification, where it allows to infer loop invariants automatically that would otherwise have to be given interactively. The approach has been implemented as a part of the KeY verification system." @default.
- W2162713269 created "2016-06-24" @default.
- W2162713269 creator A5024169371 @default.
- W2162713269 date "2009-01-01" @default.
- W2162713269 modified "2023-10-14" @default.
- W2162713269 title "Predicate Abstraction in a Program Logic Calculus" @default.
- W2162713269 cites W1497571013 @default.
- W2162713269 cites W1503472559 @default.
- W2162713269 cites W153567890 @default.
- W2162713269 cites W1536881342 @default.
- W2162713269 cites W1597009588 @default.
- W2162713269 cites W1598846073 @default.
- W2162713269 cites W1606177908 @default.
- W2162713269 cites W2055477538 @default.
- W2162713269 cites W2094160561 @default.
- W2162713269 cites W2102251549 @default.
- W2162713269 cites W2158395308 @default.
- W2162713269 cites W2987907651 @default.
- W2162713269 cites W3106729728 @default.
- W2162713269 doi "https://doi.org/10.1007/978-3-642-00255-7_10" @default.
- W2162713269 hasPublicationYear "2009" @default.
- W2162713269 type Work @default.
- W2162713269 sameAs 2162713269 @default.
- W2162713269 citedByCount "4" @default.
- W2162713269 countsByYear W21627132692016 @default.
- W2162713269 countsByYear W21627132692017 @default.
- W2162713269 crossrefType "book-chapter" @default.
- W2162713269 hasAuthorship W2162713269A5024169371 @default.
- W2162713269 hasBestOaLocation W21627132692 @default.
- W2162713269 hasConcept C100481476 @default.
- W2162713269 hasConcept C102993220 @default.
- W2162713269 hasConcept C110039528 @default.
- W2162713269 hasConcept C110251889 @default.
- W2162713269 hasConcept C111472728 @default.
- W2162713269 hasConcept C124304363 @default.
- W2162713269 hasConcept C138885662 @default.
- W2162713269 hasConcept C140146324 @default.
- W2162713269 hasConcept C19689857 @default.
- W2162713269 hasConcept C199360897 @default.
- W2162713269 hasConcept C203659156 @default.
- W2162713269 hasConcept C2779907942 @default.
- W2162713269 hasConcept C2780654840 @default.
- W2162713269 hasConcept C41008148 @default.
- W2162713269 hasConcept C73314972 @default.
- W2162713269 hasConcept C80444323 @default.
- W2162713269 hasConceptScore W2162713269C100481476 @default.
- W2162713269 hasConceptScore W2162713269C102993220 @default.
- W2162713269 hasConceptScore W2162713269C110039528 @default.
- W2162713269 hasConceptScore W2162713269C110251889 @default.
- W2162713269 hasConceptScore W2162713269C111472728 @default.
- W2162713269 hasConceptScore W2162713269C124304363 @default.
- W2162713269 hasConceptScore W2162713269C138885662 @default.
- W2162713269 hasConceptScore W2162713269C140146324 @default.
- W2162713269 hasConceptScore W2162713269C19689857 @default.
- W2162713269 hasConceptScore W2162713269C199360897 @default.
- W2162713269 hasConceptScore W2162713269C203659156 @default.
- W2162713269 hasConceptScore W2162713269C2779907942 @default.
- W2162713269 hasConceptScore W2162713269C2780654840 @default.
- W2162713269 hasConceptScore W2162713269C41008148 @default.
- W2162713269 hasConceptScore W2162713269C73314972 @default.
- W2162713269 hasConceptScore W2162713269C80444323 @default.
- W2162713269 hasLocation W21627132691 @default.
- W2162713269 hasLocation W21627132692 @default.
- W2162713269 hasOpenAccess W2162713269 @default.
- W2162713269 hasPrimaryLocation W21627132691 @default.
- W2162713269 hasRelatedWork W1582008002 @default.
- W2162713269 hasRelatedWork W2034962444 @default.
- W2162713269 hasRelatedWork W2151643528 @default.
- W2162713269 hasRelatedWork W2162713269 @default.
- W2162713269 hasRelatedWork W2166210994 @default.
- W2162713269 hasRelatedWork W2950075769 @default.
- W2162713269 hasRelatedWork W2951800949 @default.
- W2162713269 hasRelatedWork W30536913 @default.
- W2162713269 hasRelatedWork W2490177786 @default.
- W2162713269 hasRelatedWork W2611182424 @default.
- W2162713269 isParatext "false" @default.
- W2162713269 isRetracted "false" @default.
- W2162713269 magId "2162713269" @default.
- W2162713269 workType "book-chapter" @default.