Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079109749> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2079109749 startingPage "71" @default.
- W2079109749 abstract "This session is composed of three tutorial talks on program verification. No written versions of the talks were prepared since the material is already available in the literature. However, an abstract and brief bibliography is given below for each talk.These tutorials are an attempt to expose enough of the technical material of program verification that the audience can begin to develop their own opinion on the issues.This talk concentrates on the general concepts and definitions of the inductive assertion method for correctness proofs. The following questions will be answered: What is an assertion, an inductive assertion, a verification condition? Which aspects are mechanical, which require intelligent invention? What is the role and character of a theorem prover?" @default.
- W2079109749 created "2016-06-24" @default.
- W2079109749 creator A5001441718 @default.
- W2079109749 date "1978-05-10" @default.
- W2079109749 modified "2023-09-24" @default.
- W2079109749 title "Tutorial session 3B: Prospects for program verification" @default.
- W2079109749 cites W2012220159 @default.
- W2079109749 cites W2039744511 @default.
- W2079109749 cites W2061420998 @default.
- W2079109749 cites W2070485163 @default.
- W2079109749 cites W60682534 @default.
- W2079109749 doi "https://doi.org/10.5555/800099.803192" @default.
- W2079109749 hasPublicationYear "1978" @default.
- W2079109749 type Work @default.
- W2079109749 sameAs 2079109749 @default.
- W2079109749 citedByCount "0" @default.
- W2079109749 crossrefType "proceedings-article" @default.
- W2079109749 hasAuthorship W2079109749A5001441718 @default.
- W2079109749 hasConcept C108710211 @default.
- W2079109749 hasConcept C111472728 @default.
- W2079109749 hasConcept C115903868 @default.
- W2079109749 hasConcept C136764020 @default.
- W2079109749 hasConcept C138885662 @default.
- W2079109749 hasConcept C159718280 @default.
- W2079109749 hasConcept C199360897 @default.
- W2079109749 hasConcept C206880738 @default.
- W2079109749 hasConcept C2524010 @default.
- W2079109749 hasConcept C2777026412 @default.
- W2079109749 hasConcept C2779182362 @default.
- W2079109749 hasConcept C33923547 @default.
- W2079109749 hasConcept C40422974 @default.
- W2079109749 hasConcept C41008148 @default.
- W2079109749 hasConcept C55439883 @default.
- W2079109749 hasConceptScore W2079109749C108710211 @default.
- W2079109749 hasConceptScore W2079109749C111472728 @default.
- W2079109749 hasConceptScore W2079109749C115903868 @default.
- W2079109749 hasConceptScore W2079109749C136764020 @default.
- W2079109749 hasConceptScore W2079109749C138885662 @default.
- W2079109749 hasConceptScore W2079109749C159718280 @default.
- W2079109749 hasConceptScore W2079109749C199360897 @default.
- W2079109749 hasConceptScore W2079109749C206880738 @default.
- W2079109749 hasConceptScore W2079109749C2524010 @default.
- W2079109749 hasConceptScore W2079109749C2777026412 @default.
- W2079109749 hasConceptScore W2079109749C2779182362 @default.
- W2079109749 hasConceptScore W2079109749C33923547 @default.
- W2079109749 hasConceptScore W2079109749C40422974 @default.
- W2079109749 hasConceptScore W2079109749C41008148 @default.
- W2079109749 hasConceptScore W2079109749C55439883 @default.
- W2079109749 hasLocation W20791097491 @default.
- W2079109749 hasOpenAccess W2079109749 @default.
- W2079109749 hasPrimaryLocation W20791097491 @default.
- W2079109749 hasRelatedWork W1506530457 @default.
- W2079109749 hasRelatedWork W1536286961 @default.
- W2079109749 hasRelatedWork W1564962299 @default.
- W2079109749 hasRelatedWork W1596767788 @default.
- W2079109749 hasRelatedWork W1668484241 @default.
- W2079109749 hasRelatedWork W2103590992 @default.
- W2079109749 hasRelatedWork W2147047470 @default.
- W2079109749 hasRelatedWork W2154855843 @default.
- W2079109749 hasRelatedWork W2164473113 @default.
- W2079109749 hasRelatedWork W2179916386 @default.
- W2079109749 hasRelatedWork W2292257301 @default.
- W2079109749 hasRelatedWork W2503290865 @default.
- W2079109749 hasRelatedWork W2556132295 @default.
- W2079109749 hasRelatedWork W2599212194 @default.
- W2079109749 hasRelatedWork W27520400 @default.
- W2079109749 hasRelatedWork W3004447838 @default.
- W2079109749 hasRelatedWork W3094115045 @default.
- W2079109749 hasRelatedWork W786963173 @default.
- W2079109749 hasRelatedWork W823472052 @default.
- W2079109749 hasRelatedWork W931360467 @default.
- W2079109749 isParatext "false" @default.
- W2079109749 isRetracted "false" @default.
- W2079109749 magId "2079109749" @default.
- W2079109749 workType "article" @default.