Matches in SemOpenAlex for { <https://semopenalex.org/work/W52453670> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W52453670 endingPage "179" @default.
- W52453670 startingPage "159" @default.
- W52453670 abstract "AbstractIn this chapter we consider the problem of mechanising the construction of derivations in Hoare logic having a given Hoare triple as conclusion. We are thus concerned with the backwards application of rules of the logic, which will eventually produce a derivation, i.e. a tree in which all leaves correspond to instances of axioms, and all side conditions hold.The goal of this chapter is to show that there exists a strategy for conducting the proofs such that, if some of the side conditions required do not hold, then no derivation exists for the goal at hand. This strategy results in the definition of what is usually known as a verification conditions generator.KeywordsInference SystemSide ConditionVerification ConditionSequence RuleProof TreeThese 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.
- W52453670 created "2016-06-24" @default.
- W52453670 creator A5021548814 @default.
- W52453670 creator A5023613177 @default.
- W52453670 creator A5056967331 @default.
- W52453670 creator A5076487260 @default.
- W52453670 date "2011-01-01" @default.
- W52453670 modified "2023-09-26" @default.
- W52453670 title "Generating Verification Conditions" @default.
- W52453670 cites W1864574667 @default.
- W52453670 cites W2169051420 @default.
- W52453670 doi "https://doi.org/10.1007/978-0-85729-018-2_6" @default.
- W52453670 hasPublicationYear "2011" @default.
- W52453670 type Work @default.
- W52453670 sameAs 52453670 @default.
- W52453670 citedByCount "0" @default.
- W52453670 crossrefType "book-chapter" @default.
- W52453670 hasAuthorship W52453670A5021548814 @default.
- W52453670 hasAuthorship W52453670A5023613177 @default.
- W52453670 hasAuthorship W52453670A5056967331 @default.
- W52453670 hasAuthorship W52453670A5076487260 @default.
- W52453670 hasConcept C104949639 @default.
- W52453670 hasConcept C113174947 @default.
- W52453670 hasConcept C114614502 @default.
- W52453670 hasConcept C156325763 @default.
- W52453670 hasConcept C167729594 @default.
- W52453670 hasConcept C173856430 @default.
- W52453670 hasConcept C184337299 @default.
- W52453670 hasConcept C199343813 @default.
- W52453670 hasConcept C199360897 @default.
- W52453670 hasConcept C207648694 @default.
- W52453670 hasConcept C2524010 @default.
- W52453670 hasConcept C2777686260 @default.
- W52453670 hasConcept C33923547 @default.
- W52453670 hasConcept C41008148 @default.
- W52453670 hasConcept C55439883 @default.
- W52453670 hasConcept C58041814 @default.
- W52453670 hasConcept C71924100 @default.
- W52453670 hasConceptScore W52453670C104949639 @default.
- W52453670 hasConceptScore W52453670C113174947 @default.
- W52453670 hasConceptScore W52453670C114614502 @default.
- W52453670 hasConceptScore W52453670C156325763 @default.
- W52453670 hasConceptScore W52453670C167729594 @default.
- W52453670 hasConceptScore W52453670C173856430 @default.
- W52453670 hasConceptScore W52453670C184337299 @default.
- W52453670 hasConceptScore W52453670C199343813 @default.
- W52453670 hasConceptScore W52453670C199360897 @default.
- W52453670 hasConceptScore W52453670C207648694 @default.
- W52453670 hasConceptScore W52453670C2524010 @default.
- W52453670 hasConceptScore W52453670C2777686260 @default.
- W52453670 hasConceptScore W52453670C33923547 @default.
- W52453670 hasConceptScore W52453670C41008148 @default.
- W52453670 hasConceptScore W52453670C55439883 @default.
- W52453670 hasConceptScore W52453670C58041814 @default.
- W52453670 hasConceptScore W52453670C71924100 @default.
- W52453670 hasLocation W524536701 @default.
- W52453670 hasOpenAccess W52453670 @default.
- W52453670 hasPrimaryLocation W524536701 @default.
- W52453670 hasRelatedWork W1556936708 @default.
- W52453670 hasRelatedWork W1589655416 @default.
- W52453670 hasRelatedWork W1605391443 @default.
- W52453670 hasRelatedWork W1803381130 @default.
- W52453670 hasRelatedWork W1983409972 @default.
- W52453670 hasRelatedWork W2024792743 @default.
- W52453670 hasRelatedWork W2044278346 @default.
- W52453670 hasRelatedWork W2090547808 @default.
- W52453670 hasRelatedWork W2098780033 @default.
- W52453670 hasRelatedWork W2098844027 @default.
- W52453670 hasRelatedWork W2107280992 @default.
- W52453670 hasRelatedWork W2130524429 @default.
- W52453670 hasRelatedWork W2132092789 @default.
- W52453670 hasRelatedWork W2279194953 @default.
- W52453670 hasRelatedWork W2290990225 @default.
- W52453670 hasRelatedWork W2295275956 @default.
- W52453670 hasRelatedWork W2364812754 @default.
- W52453670 hasRelatedWork W2996342063 @default.
- W52453670 hasRelatedWork W974040949 @default.
- W52453670 hasRelatedWork W1529009572 @default.
- W52453670 isParatext "false" @default.
- W52453670 isRetracted "false" @default.
- W52453670 magId "52453670" @default.
- W52453670 workType "book-chapter" @default.