Matches in SemOpenAlex for { <https://semopenalex.org/work/W172260743> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W172260743 endingPage "568" @default.
- W172260743 startingPage "556" @default.
- W172260743 abstract "This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology assumes that the system consists of several reusable components, each of them already verified by their designers and which are considered correct under the assumption that the environment satisfies certain properties assumed by the component. What remains to be verified is the glue logic inserted between the components. Each such glue logic is verified one at a time using model checking techniques. A big difficulty with such an approach is the question how to handle the connected components and the rest of the system in the verification of the glue logic, which only constitutes a small part of the design. In this paper, algorithms for generating a model corresponding to the rest of the system are discussed together with guidelines on how and when to use them. The methodology is illustrated by a small case study on a mobile telephone." @default.
- W172260743 created "2016-06-24" @default.
- W172260743 creator A5001844771 @default.
- W172260743 creator A5003372884 @default.
- W172260743 creator A5026711091 @default.
- W172260743 date "2004-01-01" @default.
- W172260743 modified "2023-09-22" @default.
- W172260743 title "A Formal Verification Approach for IP-based Designs" @default.
- W172260743 cites W1999090606 @default.
- W172260743 cites W2009965218 @default.
- W172260743 cites W2061268816 @default.
- W172260743 cites W2110588469 @default.
- W172260743 cites W2115764319 @default.
- W172260743 cites W2142497484 @default.
- W172260743 cites W2149243982 @default.
- W172260743 cites W2153275071 @default.
- W172260743 cites W2163558621 @default.
- W172260743 cites W2913459036 @default.
- W172260743 hasPublicationYear "2004" @default.
- W172260743 type Work @default.
- W172260743 sameAs 172260743 @default.
- W172260743 citedByCount "1" @default.
- W172260743 crossrefType "proceedings-article" @default.
- W172260743 hasAuthorship W172260743A5001844771 @default.
- W172260743 hasAuthorship W172260743A5003372884 @default.
- W172260743 hasAuthorship W172260743A5026711091 @default.
- W172260743 hasConcept C110251889 @default.
- W172260743 hasConcept C111498074 @default.
- W172260743 hasConcept C121332964 @default.
- W172260743 hasConcept C168167062 @default.
- W172260743 hasConcept C199360897 @default.
- W172260743 hasConcept C25016198 @default.
- W172260743 hasConcept C41008148 @default.
- W172260743 hasConcept C71559656 @default.
- W172260743 hasConcept C75606506 @default.
- W172260743 hasConcept C80444323 @default.
- W172260743 hasConcept C97355855 @default.
- W172260743 hasConceptScore W172260743C110251889 @default.
- W172260743 hasConceptScore W172260743C111498074 @default.
- W172260743 hasConceptScore W172260743C121332964 @default.
- W172260743 hasConceptScore W172260743C168167062 @default.
- W172260743 hasConceptScore W172260743C199360897 @default.
- W172260743 hasConceptScore W172260743C25016198 @default.
- W172260743 hasConceptScore W172260743C41008148 @default.
- W172260743 hasConceptScore W172260743C71559656 @default.
- W172260743 hasConceptScore W172260743C75606506 @default.
- W172260743 hasConceptScore W172260743C80444323 @default.
- W172260743 hasConceptScore W172260743C97355855 @default.
- W172260743 hasLocation W1722607431 @default.
- W172260743 hasOpenAccess W172260743 @default.
- W172260743 hasPrimaryLocation W1722607431 @default.
- W172260743 hasRelatedWork W2064831639 @default.
- W172260743 hasRelatedWork W2096133083 @default.
- W172260743 hasRelatedWork W2112401476 @default.
- W172260743 hasRelatedWork W2188057831 @default.
- W172260743 hasRelatedWork W2531728244 @default.
- W172260743 hasRelatedWork W2637583951 @default.
- W172260743 hasRelatedWork W2734802684 @default.
- W172260743 hasRelatedWork W2766393167 @default.
- W172260743 hasRelatedWork W2884181463 @default.
- W172260743 hasRelatedWork W2900440339 @default.
- W172260743 hasRelatedWork W2951761201 @default.
- W172260743 hasRelatedWork W2994860303 @default.
- W172260743 hasRelatedWork W3213340880 @default.
- W172260743 hasRelatedWork W572846871 @default.
- W172260743 hasRelatedWork W574795656 @default.
- W172260743 hasRelatedWork W65125029 @default.
- W172260743 hasRelatedWork W66319915 @default.
- W172260743 hasRelatedWork W129880873 @default.
- W172260743 hasRelatedWork W2248615912 @default.
- W172260743 hasRelatedWork W3171888624 @default.
- W172260743 isParatext "false" @default.
- W172260743 isRetracted "false" @default.
- W172260743 magId "172260743" @default.
- W172260743 workType "article" @default.