Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065540897> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2065540897 endingPage "62" @default.
- W2065540897 startingPage "61" @default.
- W2065540897 abstract "This position paper describes a hardware and software verification effort at Argonne National Laboratory based upon the LMA (Logic Machine Architecture) collection of Pascal procedures. The reasoning component of the system is the Interactive Theorem Prover (ITP), a Pascal program using the procedures of LMA. ITP is in effect an enhanced portable implementation of our previous reasoning system AURA. A verification condition generator for the software will be developed using tools such as the TAMPR program transformation system. The resulting system is being applied to prove claims about hardware/software used in a control system running on a fault-tolerant computer." @default.
- W2065540897 created "2016-06-24" @default.
- W2065540897 creator A5054539499 @default.
- W2065540897 date "1985-08-01" @default.
- W2065540897 modified "2023-10-16" @default.
- W2065540897 title "Position paper to be presented at Verification workshop III (verkshop III) to be held in Watsonville, CA. Feb. 18--21, 1985" @default.
- W2065540897 cites W1587968455 @default.
- W2065540897 cites W2009579853 @default.
- W2065540897 cites W2074713171 @default.
- W2065540897 cites W2085193930 @default.
- W2065540897 cites W2112342905 @default.
- W2065540897 doi "https://doi.org/10.1145/1012497.1012520" @default.
- W2065540897 hasPublicationYear "1985" @default.
- W2065540897 type Work @default.
- W2065540897 sameAs 2065540897 @default.
- W2065540897 citedByCount "1" @default.
- W2065540897 crossrefType "journal-article" @default.
- W2065540897 hasAuthorship W2065540897A5054539499 @default.
- W2065540897 hasBestOaLocation W20655408971 @default.
- W2065540897 hasConcept C115903868 @default.
- W2065540897 hasConcept C149091818 @default.
- W2065540897 hasConcept C186846655 @default.
- W2065540897 hasConcept C199360897 @default.
- W2065540897 hasConcept C206880738 @default.
- W2065540897 hasConcept C2777904410 @default.
- W2065540897 hasConcept C33054407 @default.
- W2065540897 hasConcept C41008148 @default.
- W2065540897 hasConcept C75608658 @default.
- W2065540897 hasConceptScore W2065540897C115903868 @default.
- W2065540897 hasConceptScore W2065540897C149091818 @default.
- W2065540897 hasConceptScore W2065540897C186846655 @default.
- W2065540897 hasConceptScore W2065540897C199360897 @default.
- W2065540897 hasConceptScore W2065540897C206880738 @default.
- W2065540897 hasConceptScore W2065540897C2777904410 @default.
- W2065540897 hasConceptScore W2065540897C33054407 @default.
- W2065540897 hasConceptScore W2065540897C41008148 @default.
- W2065540897 hasConceptScore W2065540897C75608658 @default.
- W2065540897 hasIssue "4" @default.
- W2065540897 hasLocation W20655408971 @default.
- W2065540897 hasOpenAccess W2065540897 @default.
- W2065540897 hasPrimaryLocation W20655408971 @default.
- W2065540897 hasRelatedWork W1516195002 @default.
- W2065540897 hasRelatedWork W1965681098 @default.
- W2065540897 hasRelatedWork W1982275713 @default.
- W2065540897 hasRelatedWork W2065540897 @default.
- W2065540897 hasRelatedWork W2087060298 @default.
- W2065540897 hasRelatedWork W4231350079 @default.
- W2065540897 hasRelatedWork W4233387348 @default.
- W2065540897 hasRelatedWork W4237042913 @default.
- W2065540897 hasRelatedWork W4246973440 @default.
- W2065540897 hasRelatedWork W47563837 @default.
- W2065540897 hasVolume "10" @default.
- W2065540897 isParatext "false" @default.
- W2065540897 isRetracted "false" @default.
- W2065540897 magId "2065540897" @default.
- W2065540897 workType "article" @default.