Matches in SemOpenAlex for { <https://semopenalex.org/work/W294391505> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W294391505 abstract "Abstract : This report covers progress on a 2-year research effort toward the development of new theorem-proving methods for program verification, and the empirical investigation of these methods in actual verification systems. The research conducted during the course of the project focused on methods for simplifying formulas of the kind that arise frequently in the verification of programs. The importance of simplification methods, as opposed to pure proof methods, was pointed up by verification work conducted under a previous AFOSR contract. Perhaps the most significant outcome of the project is the development of an experimental theorem prover that has been used extensively in the proof of correctness of the design of a fault-tolerant operating system developed under NASA support. We believe that the technology embodied in this experimental system could be successfully applied to the development of a production verification system. (Author)" @default.
- W294391505 created "2016-06-24" @default.
- W294391505 creator A5003173842 @default.
- W294391505 creator A5027617566 @default.
- W294391505 creator A5081664009 @default.
- W294391505 date "1981-10-01" @default.
- W294391505 modified "2023-09-27" @default.
- W294391505 title "Techniques for Automatic Deduction" @default.
- W294391505 hasPublicationYear "1981" @default.
- W294391505 type Work @default.
- W294391505 sameAs 294391505 @default.
- W294391505 citedByCount "0" @default.
- W294391505 crossrefType "journal-article" @default.
- W294391505 hasAuthorship W294391505A5003173842 @default.
- W294391505 hasAuthorship W294391505A5027617566 @default.
- W294391505 hasAuthorship W294391505A5081664009 @default.
- W294391505 hasConcept C108710211 @default.
- W294391505 hasConcept C110251889 @default.
- W294391505 hasConcept C111498074 @default.
- W294391505 hasConcept C115903868 @default.
- W294391505 hasConcept C142284323 @default.
- W294391505 hasConcept C144237770 @default.
- W294391505 hasConcept C148220186 @default.
- W294391505 hasConcept C17435882 @default.
- W294391505 hasConcept C186846655 @default.
- W294391505 hasConcept C199360897 @default.
- W294391505 hasConcept C202973057 @default.
- W294391505 hasConcept C203265346 @default.
- W294391505 hasConcept C206880738 @default.
- W294391505 hasConcept C2524010 @default.
- W294391505 hasConcept C2777904410 @default.
- W294391505 hasConcept C33054407 @default.
- W294391505 hasConcept C33923547 @default.
- W294391505 hasConcept C41008148 @default.
- W294391505 hasConcept C529173508 @default.
- W294391505 hasConcept C55439883 @default.
- W294391505 hasConcept C62460635 @default.
- W294391505 hasConceptScore W294391505C108710211 @default.
- W294391505 hasConceptScore W294391505C110251889 @default.
- W294391505 hasConceptScore W294391505C111498074 @default.
- W294391505 hasConceptScore W294391505C115903868 @default.
- W294391505 hasConceptScore W294391505C142284323 @default.
- W294391505 hasConceptScore W294391505C144237770 @default.
- W294391505 hasConceptScore W294391505C148220186 @default.
- W294391505 hasConceptScore W294391505C17435882 @default.
- W294391505 hasConceptScore W294391505C186846655 @default.
- W294391505 hasConceptScore W294391505C199360897 @default.
- W294391505 hasConceptScore W294391505C202973057 @default.
- W294391505 hasConceptScore W294391505C203265346 @default.
- W294391505 hasConceptScore W294391505C206880738 @default.
- W294391505 hasConceptScore W294391505C2524010 @default.
- W294391505 hasConceptScore W294391505C2777904410 @default.
- W294391505 hasConceptScore W294391505C33054407 @default.
- W294391505 hasConceptScore W294391505C33923547 @default.
- W294391505 hasConceptScore W294391505C41008148 @default.
- W294391505 hasConceptScore W294391505C529173508 @default.
- W294391505 hasConceptScore W294391505C55439883 @default.
- W294391505 hasConceptScore W294391505C62460635 @default.
- W294391505 hasLocation W2943915051 @default.
- W294391505 hasOpenAccess W294391505 @default.
- W294391505 hasPrimaryLocation W2943915051 @default.
- W294391505 hasRelatedWork W1536174448 @default.
- W294391505 hasRelatedWork W1573022308 @default.
- W294391505 hasRelatedWork W1781572998 @default.
- W294391505 hasRelatedWork W1836717328 @default.
- W294391505 hasRelatedWork W184270447 @default.
- W294391505 hasRelatedWork W1978159353 @default.
- W294391505 hasRelatedWork W2019404692 @default.
- W294391505 hasRelatedWork W2063169916 @default.
- W294391505 hasRelatedWork W2094307219 @default.
- W294391505 hasRelatedWork W2098478828 @default.
- W294391505 hasRelatedWork W2099648625 @default.
- W294391505 hasRelatedWork W2133403781 @default.
- W294391505 hasRelatedWork W2140180503 @default.
- W294391505 hasRelatedWork W2143764361 @default.
- W294391505 hasRelatedWork W2144950612 @default.
- W294391505 hasRelatedWork W2164674422 @default.
- W294391505 hasRelatedWork W3186572156 @default.
- W294391505 hasRelatedWork W565547644 @default.
- W294391505 hasRelatedWork W571800500 @default.
- W294391505 hasRelatedWork W2146106430 @default.
- W294391505 isParatext "false" @default.
- W294391505 isRetracted "false" @default.
- W294391505 magId "294391505" @default.
- W294391505 workType "article" @default.