Matches in SemOpenAlex for { <https://semopenalex.org/work/W2533142760> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2533142760 abstract "Formal methods have gained acceptance in the hardware field through a pragmatic approach that has succeeded in providing systematic, scalable, highly automated, and cost effective treatments for certain stereotypical problems of practical importance. By identifying stereotypical problems, the effort required to develop effective formal methods has been amortized over many applications. We suggest that formal methods can achieve similar industrial success in selected software applications by following the same principles. As an illustration, we examine approaches to the stereotypical problem of interpreter correctness in the presence of timing differences between the specification and implementation interpreters. In hardware, this corresponds to the problem of verifying microprogrammed, pipelined, or superscalar processors, but it has wider applications to any system-hardware or software-that can be considered as an interpreter." @default.
- W2533142760 created "2016-10-28" @default.
- W2533142760 creator A5020087247 @default.
- W2533142760 creator A5039897432 @default.
- W2533142760 creator A5091101722 @default.
- W2533142760 date "2002-11-23" @default.
- W2533142760 modified "2023-09-26" @default.
- W2533142760 title "Systematic formal verification of interpreters" @default.
- W2533142760 cites W1498875780 @default.
- W2533142760 cites W1503170978 @default.
- W2533142760 cites W1538310240 @default.
- W2533142760 cites W1546619436 @default.
- W2533142760 cites W1566418462 @default.
- W2533142760 cites W1733935619 @default.
- W2533142760 cites W1741528175 @default.
- W2533142760 cites W1929502661 @default.
- W2533142760 cites W2030224590 @default.
- W2533142760 cites W2041152728 @default.
- W2533142760 cites W2075680193 @default.
- W2533142760 cites W2095572512 @default.
- W2533142760 cites W2113486906 @default.
- W2533142760 cites W23915378 @default.
- W2533142760 cites W3023216518 @default.
- W2533142760 doi "https://doi.org/10.1109/icfem.1997.630421" @default.
- W2533142760 hasPublicationYear "2002" @default.
- W2533142760 type Work @default.
- W2533142760 sameAs 2533142760 @default.
- W2533142760 citedByCount "8" @default.
- W2533142760 crossrefType "proceedings-article" @default.
- W2533142760 hasAuthorship W2533142760A5020087247 @default.
- W2533142760 hasAuthorship W2533142760A5039897432 @default.
- W2533142760 hasAuthorship W2533142760A5091101722 @default.
- W2533142760 hasConcept C111498074 @default.
- W2533142760 hasConcept C111919701 @default.
- W2533142760 hasConcept C115903868 @default.
- W2533142760 hasConcept C116253237 @default.
- W2533142760 hasConcept C122783720 @default.
- W2533142760 hasConcept C199360897 @default.
- W2533142760 hasConcept C202444582 @default.
- W2533142760 hasConcept C2777904410 @default.
- W2533142760 hasConcept C33923547 @default.
- W2533142760 hasConcept C41008148 @default.
- W2533142760 hasConcept C48044578 @default.
- W2533142760 hasConcept C55439883 @default.
- W2533142760 hasConcept C75606506 @default.
- W2533142760 hasConcept C9652623 @default.
- W2533142760 hasConceptScore W2533142760C111498074 @default.
- W2533142760 hasConceptScore W2533142760C111919701 @default.
- W2533142760 hasConceptScore W2533142760C115903868 @default.
- W2533142760 hasConceptScore W2533142760C116253237 @default.
- W2533142760 hasConceptScore W2533142760C122783720 @default.
- W2533142760 hasConceptScore W2533142760C199360897 @default.
- W2533142760 hasConceptScore W2533142760C202444582 @default.
- W2533142760 hasConceptScore W2533142760C2777904410 @default.
- W2533142760 hasConceptScore W2533142760C33923547 @default.
- W2533142760 hasConceptScore W2533142760C41008148 @default.
- W2533142760 hasConceptScore W2533142760C48044578 @default.
- W2533142760 hasConceptScore W2533142760C55439883 @default.
- W2533142760 hasConceptScore W2533142760C75606506 @default.
- W2533142760 hasConceptScore W2533142760C9652623 @default.
- W2533142760 hasLocation W25331427601 @default.
- W2533142760 hasOpenAccess W2533142760 @default.
- W2533142760 hasPrimaryLocation W25331427601 @default.
- W2533142760 hasRelatedWork W1498855130 @default.
- W2533142760 hasRelatedWork W1518675260 @default.
- W2533142760 hasRelatedWork W1555915743 @default.
- W2533142760 hasRelatedWork W1569534161 @default.
- W2533142760 hasRelatedWork W1741528175 @default.
- W2533142760 hasRelatedWork W1858894527 @default.
- W2533142760 hasRelatedWork W1975427082 @default.
- W2533142760 hasRelatedWork W2038658767 @default.
- W2533142760 hasRelatedWork W2048827942 @default.
- W2533142760 hasRelatedWork W2065846678 @default.
- W2533142760 hasRelatedWork W2092349522 @default.
- W2533142760 hasRelatedWork W2096455207 @default.
- W2533142760 hasRelatedWork W2101591864 @default.
- W2533142760 hasRelatedWork W2130372530 @default.
- W2533142760 hasRelatedWork W2162584143 @default.
- W2533142760 hasRelatedWork W2899944714 @default.
- W2533142760 hasRelatedWork W2914762105 @default.
- W2533142760 hasRelatedWork W3186572156 @default.
- W2533142760 hasRelatedWork W86150557 @default.
- W2533142760 hasRelatedWork W94771928 @default.
- W2533142760 isParatext "false" @default.
- W2533142760 isRetracted "false" @default.
- W2533142760 magId "2533142760" @default.
- W2533142760 workType "article" @default.