Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034713085> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2034713085 abstract "Loosely stated, program verification is the task of systematically demonstrating that a program achieves its intended purpose, i.e., the task of proving the absence of errors from a program. This task may be considered as a backward mapping from a given program to a statement of the requirements for that program. There exist two fundamental approaches to establishing such mappings. A program may be exercised for a specific set of input values; the successful completion of program execution constitutes a necessary condition for the correctness of that program. A more rigorous approach is to provide an argument that a program satisfies its requirements for all legitimate input values, thus constituting a necessary and sufficient condition for the correctness of that program. In this paper, we are concerned with the first of these two fundamental approaches." @default.
- W2034713085 created "2016-06-24" @default.
- W2034713085 creator A5084408251 @default.
- W2034713085 date "1981-01-01" @default.
- W2034713085 modified "2023-09-26" @default.
- W2034713085 title "Firmware testing and test data selection" @default.
- W2034713085 cites W1577384748 @default.
- W2034713085 cites W1592287058 @default.
- W2034713085 cites W198353933 @default.
- W2034713085 cites W2001862172 @default.
- W2034713085 cites W2020592600 @default.
- W2034713085 cites W2033029021 @default.
- W2034713085 cites W2076689030 @default.
- W2034713085 cites W2095284861 @default.
- W2034713085 cites W2132840411 @default.
- W2034713085 cites W2615615919 @default.
- W2034713085 cites W2987732270 @default.
- W2034713085 cites W3146075203 @default.
- W2034713085 cites W1561817435 @default.
- W2034713085 doi "https://doi.org/10.1145/1500412.1500423" @default.
- W2034713085 hasPublicationYear "1981" @default.
- W2034713085 type Work @default.
- W2034713085 sameAs 2034713085 @default.
- W2034713085 citedByCount "3" @default.
- W2034713085 countsByYear W20347130852015 @default.
- W2034713085 crossrefType "proceedings-article" @default.
- W2034713085 hasAuthorship W2034713085A5084408251 @default.
- W2034713085 hasBestOaLocation W20347130851 @default.
- W2034713085 hasConcept C111919701 @default.
- W2034713085 hasConcept C140006998 @default.
- W2034713085 hasConcept C154945302 @default.
- W2034713085 hasConcept C162324750 @default.
- W2034713085 hasConcept C177264268 @default.
- W2034713085 hasConcept C17744445 @default.
- W2034713085 hasConcept C187736073 @default.
- W2034713085 hasConcept C199360897 @default.
- W2034713085 hasConcept C199539241 @default.
- W2034713085 hasConcept C2777026412 @default.
- W2034713085 hasConcept C2780451532 @default.
- W2034713085 hasConcept C41008148 @default.
- W2034713085 hasConcept C55439883 @default.
- W2034713085 hasConcept C67212190 @default.
- W2034713085 hasConcept C81917197 @default.
- W2034713085 hasConcept C98183937 @default.
- W2034713085 hasConceptScore W2034713085C111919701 @default.
- W2034713085 hasConceptScore W2034713085C140006998 @default.
- W2034713085 hasConceptScore W2034713085C154945302 @default.
- W2034713085 hasConceptScore W2034713085C162324750 @default.
- W2034713085 hasConceptScore W2034713085C177264268 @default.
- W2034713085 hasConceptScore W2034713085C17744445 @default.
- W2034713085 hasConceptScore W2034713085C187736073 @default.
- W2034713085 hasConceptScore W2034713085C199360897 @default.
- W2034713085 hasConceptScore W2034713085C199539241 @default.
- W2034713085 hasConceptScore W2034713085C2777026412 @default.
- W2034713085 hasConceptScore W2034713085C2780451532 @default.
- W2034713085 hasConceptScore W2034713085C41008148 @default.
- W2034713085 hasConceptScore W2034713085C55439883 @default.
- W2034713085 hasConceptScore W2034713085C67212190 @default.
- W2034713085 hasConceptScore W2034713085C81917197 @default.
- W2034713085 hasConceptScore W2034713085C98183937 @default.
- W2034713085 hasLocation W20347130851 @default.
- W2034713085 hasOpenAccess W2034713085 @default.
- W2034713085 hasPrimaryLocation W20347130851 @default.
- W2034713085 hasRelatedWork W1502289629 @default.
- W2034713085 hasRelatedWork W1560148909 @default.
- W2034713085 hasRelatedWork W1608659702 @default.
- W2034713085 hasRelatedWork W1965397772 @default.
- W2034713085 hasRelatedWork W1985198438 @default.
- W2034713085 hasRelatedWork W2068981034 @default.
- W2034713085 hasRelatedWork W2118723074 @default.
- W2034713085 hasRelatedWork W2387698225 @default.
- W2034713085 hasRelatedWork W4238823939 @default.
- W2034713085 hasRelatedWork W4253934035 @default.
- W2034713085 isParatext "false" @default.
- W2034713085 isRetracted "false" @default.
- W2034713085 magId "2034713085" @default.
- W2034713085 workType "article" @default.