Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093484312> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2093484312 endingPage "255" @default.
- W2093484312 startingPage "246" @default.
- W2093484312 abstract "This paper is a progress report on an experimental system, the state delta verification system (SDVS), for verifying microcode correctness. The goal of this project is to solve some of the problems, both theoretical and engineering, obstructing the realization of a usable and applicable program for checking proofs of microcode correctness. The ideal result would be a system that could be naturally incorporated into the specification-implementation cycle of, for example, microcoded machine instruction sets." @default.
- W2093484312 created "2016-06-24" @default.
- W2093484312 creator A5012244300 @default.
- W2093484312 creator A5020073000 @default.
- W2093484312 creator A5048523307 @default.
- W2093484312 date "1984-12-01" @default.
- W2093484312 modified "2023-09-26" @default.
- W2093484312 title "SDVS" @default.
- W2093484312 cites W2004193076 @default.
- W2093484312 cites W2153131284 @default.
- W2093484312 cites W2164778826 @default.
- W2093484312 doi "https://doi.org/10.1145/384281.808233" @default.
- W2093484312 hasPublicationYear "1984" @default.
- W2093484312 type Work @default.
- W2093484312 sameAs 2093484312 @default.
- W2093484312 citedByCount "3" @default.
- W2093484312 crossrefType "journal-article" @default.
- W2093484312 hasAuthorship W2093484312A5012244300 @default.
- W2093484312 hasAuthorship W2093484312A5020073000 @default.
- W2093484312 hasAuthorship W2093484312A5048523307 @default.
- W2093484312 hasConcept C105795698 @default.
- W2093484312 hasConcept C108710211 @default.
- W2093484312 hasConcept C111472728 @default.
- W2093484312 hasConcept C111919701 @default.
- W2093484312 hasConcept C115903868 @default.
- W2093484312 hasConcept C136764020 @default.
- W2093484312 hasConcept C138885662 @default.
- W2093484312 hasConcept C199360897 @default.
- W2093484312 hasConcept C22174128 @default.
- W2093484312 hasConcept C2524010 @default.
- W2093484312 hasConcept C2776639384 @default.
- W2093484312 hasConcept C2780615836 @default.
- W2093484312 hasConcept C2781089630 @default.
- W2093484312 hasConcept C33923547 @default.
- W2093484312 hasConcept C41008148 @default.
- W2093484312 hasConcept C55439883 @default.
- W2093484312 hasConceptScore W2093484312C105795698 @default.
- W2093484312 hasConceptScore W2093484312C108710211 @default.
- W2093484312 hasConceptScore W2093484312C111472728 @default.
- W2093484312 hasConceptScore W2093484312C111919701 @default.
- W2093484312 hasConceptScore W2093484312C115903868 @default.
- W2093484312 hasConceptScore W2093484312C136764020 @default.
- W2093484312 hasConceptScore W2093484312C138885662 @default.
- W2093484312 hasConceptScore W2093484312C199360897 @default.
- W2093484312 hasConceptScore W2093484312C22174128 @default.
- W2093484312 hasConceptScore W2093484312C2524010 @default.
- W2093484312 hasConceptScore W2093484312C2776639384 @default.
- W2093484312 hasConceptScore W2093484312C2780615836 @default.
- W2093484312 hasConceptScore W2093484312C2781089630 @default.
- W2093484312 hasConceptScore W2093484312C33923547 @default.
- W2093484312 hasConceptScore W2093484312C41008148 @default.
- W2093484312 hasConceptScore W2093484312C55439883 @default.
- W2093484312 hasIssue "4" @default.
- W2093484312 hasLocation W20934843121 @default.
- W2093484312 hasOpenAccess W2093484312 @default.
- W2093484312 hasPrimaryLocation W20934843121 @default.
- W2093484312 hasRelatedWork W1549164736 @default.
- W2093484312 hasRelatedWork W2059469225 @default.
- W2093484312 hasRelatedWork W2076709719 @default.
- W2093484312 hasRelatedWork W2116797060 @default.
- W2093484312 hasRelatedWork W269049261 @default.
- W2093484312 hasRelatedWork W3104549103 @default.
- W2093484312 hasRelatedWork W4234495277 @default.
- W2093484312 hasRelatedWork W4235477902 @default.
- W2093484312 hasRelatedWork W4283813433 @default.
- W2093484312 hasRelatedWork W4311656218 @default.
- W2093484312 hasVolume "15" @default.
- W2093484312 isParatext "false" @default.
- W2093484312 isRetracted "false" @default.
- W2093484312 magId "2093484312" @default.
- W2093484312 workType "article" @default.