Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137676391> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2137676391 endingPage "187" @default.
- W2137676391 startingPage "183" @default.
- W2137676391 abstract "A general strategy for automatically generating and verifying sufficient correctness properties for a broad class of synchronous processors is presented. Given a particular specification and implementation pair, it is shown how basic correctness properties can be algorithmically translated into a set of computation tree logic (CTL) formulae which are sufficient for equivalence between the behavioral and logic descriptions. Preliminary experimental results on the verification of microcoded and array processors are presented. >" @default.
- W2137676391 created "2016-06-24" @default.
- W2137676391 creator A5000525449 @default.
- W2137676391 creator A5047756858 @default.
- W2137676391 creator A5052273155 @default.
- W2137676391 creator A5089957709 @default.
- W2137676391 date "1992-11-08" @default.
- W2137676391 modified "2023-10-07" @default.
- W2137676391 title "Automatic generation and verification of sufficient correctness properties for synchronous processors" @default.
- W2137676391 cites W1518675260 @default.
- W2137676391 cites W1568333396 @default.
- W2137676391 cites W2097755092 @default.
- W2137676391 cites W2104570240 @default.
- W2137676391 cites W2127572699 @default.
- W2137676391 cites W2130427919 @default.
- W2137676391 cites W2131861360 @default.
- W2137676391 cites W2150119568 @default.
- W2137676391 cites W2995746888 @default.
- W2137676391 doi "https://doi.org/10.5555/304032.304082" @default.
- W2137676391 hasPublicationYear "1992" @default.
- W2137676391 type Work @default.
- W2137676391 sameAs 2137676391 @default.
- W2137676391 citedByCount "3" @default.
- W2137676391 crossrefType "proceedings-article" @default.
- W2137676391 hasAuthorship W2137676391A5000525449 @default.
- W2137676391 hasAuthorship W2137676391A5047756858 @default.
- W2137676391 hasAuthorship W2137676391A5052273155 @default.
- W2137676391 hasAuthorship W2137676391A5089957709 @default.
- W2137676391 hasConcept C110251889 @default.
- W2137676391 hasConcept C111498074 @default.
- W2137676391 hasConcept C11413529 @default.
- W2137676391 hasConcept C118615104 @default.
- W2137676391 hasConcept C173608175 @default.
- W2137676391 hasConcept C177264268 @default.
- W2137676391 hasConcept C198008173 @default.
- W2137676391 hasConcept C199360897 @default.
- W2137676391 hasConcept C2780069185 @default.
- W2137676391 hasConcept C33923547 @default.
- W2137676391 hasConcept C41008148 @default.
- W2137676391 hasConcept C45374587 @default.
- W2137676391 hasConcept C55439883 @default.
- W2137676391 hasConcept C80444323 @default.
- W2137676391 hasConceptScore W2137676391C110251889 @default.
- W2137676391 hasConceptScore W2137676391C111498074 @default.
- W2137676391 hasConceptScore W2137676391C11413529 @default.
- W2137676391 hasConceptScore W2137676391C118615104 @default.
- W2137676391 hasConceptScore W2137676391C173608175 @default.
- W2137676391 hasConceptScore W2137676391C177264268 @default.
- W2137676391 hasConceptScore W2137676391C198008173 @default.
- W2137676391 hasConceptScore W2137676391C199360897 @default.
- W2137676391 hasConceptScore W2137676391C2780069185 @default.
- W2137676391 hasConceptScore W2137676391C33923547 @default.
- W2137676391 hasConceptScore W2137676391C41008148 @default.
- W2137676391 hasConceptScore W2137676391C45374587 @default.
- W2137676391 hasConceptScore W2137676391C55439883 @default.
- W2137676391 hasConceptScore W2137676391C80444323 @default.
- W2137676391 hasLocation W21376763911 @default.
- W2137676391 hasOpenAccess W2137676391 @default.
- W2137676391 hasPrimaryLocation W21376763911 @default.
- W2137676391 hasRelatedWork W1583372371 @default.
- W2137676391 hasRelatedWork W1583809610 @default.
- W2137676391 hasRelatedWork W1602916281 @default.
- W2137676391 hasRelatedWork W1871268144 @default.
- W2137676391 hasRelatedWork W1876057874 @default.
- W2137676391 hasRelatedWork W1984634196 @default.
- W2137676391 hasRelatedWork W2017495018 @default.
- W2137676391 hasRelatedWork W2036201620 @default.
- W2137676391 hasRelatedWork W2060070465 @default.
- W2137676391 hasRelatedWork W2073093596 @default.
- W2137676391 hasRelatedWork W2080267935 @default.
- W2137676391 hasRelatedWork W210405922 @default.
- W2137676391 hasRelatedWork W2105182891 @default.
- W2137676391 hasRelatedWork W2123510745 @default.
- W2137676391 hasRelatedWork W2137182662 @default.
- W2137676391 hasRelatedWork W2152691384 @default.
- W2137676391 hasRelatedWork W2166538840 @default.
- W2137676391 hasRelatedWork W2542209384 @default.
- W2137676391 hasRelatedWork W254399925 @default.
- W2137676391 hasRelatedWork W87240014 @default.
- W2137676391 isParatext "false" @default.
- W2137676391 isRetracted "false" @default.
- W2137676391 magId "2137676391" @default.
- W2137676391 workType "article" @default.