Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089559735> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2089559735 endingPage "379" @default.
- W2089559735 startingPage "372" @default.
- W2089559735 abstract "This paper proposes a formal verification methodology which smoothly integrates 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. Experiments, performed on a real-life example (mobile telephone), demonstrating the efficiency and intuitivity of the methodology, are moreover thoroughly presented. Three different properties have been verified on one part of the system." @default.
- W2089559735 created "2016-06-24" @default.
- W2089559735 creator A5001844771 @default.
- W2089559735 creator A5003372884 @default.
- W2089559735 creator A5026711091 @default.
- W2089559735 date "2004-08-31" @default.
- W2089559735 modified "2023-09-22" @default.
- W2089559735 title "A formal verification methodology for IP-based designs" @default.
- W2089559735 cites W1999090606 @default.
- W2089559735 cites W2061268816 @default.
- W2089559735 cites W2110588469 @default.
- W2089559735 cites W2115764319 @default.
- W2089559735 cites W2142497484 @default.
- W2089559735 cites W2149243982 @default.
- W2089559735 cites W2153275071 @default.
- W2089559735 cites W2163558621 @default.
- W2089559735 cites W2913459036 @default.
- W2089559735 doi "https://doi.org/10.1109/dsd.2004.6" @default.
- W2089559735 hasPublicationYear "2004" @default.
- W2089559735 type Work @default.
- W2089559735 sameAs 2089559735 @default.
- W2089559735 citedByCount "2" @default.
- W2089559735 crossrefType "proceedings-article" @default.
- W2089559735 hasAuthorship W2089559735A5001844771 @default.
- W2089559735 hasAuthorship W2089559735A5003372884 @default.
- W2089559735 hasAuthorship W2089559735A5026711091 @default.
- W2089559735 hasConcept C110251889 @default.
- W2089559735 hasConcept C111498074 @default.
- W2089559735 hasConcept C121332964 @default.
- W2089559735 hasConcept C168167062 @default.
- W2089559735 hasConcept C199360897 @default.
- W2089559735 hasConcept C41008148 @default.
- W2089559735 hasConcept C71559656 @default.
- W2089559735 hasConcept C75606506 @default.
- W2089559735 hasConcept C97355855 @default.
- W2089559735 hasConceptScore W2089559735C110251889 @default.
- W2089559735 hasConceptScore W2089559735C111498074 @default.
- W2089559735 hasConceptScore W2089559735C121332964 @default.
- W2089559735 hasConceptScore W2089559735C168167062 @default.
- W2089559735 hasConceptScore W2089559735C199360897 @default.
- W2089559735 hasConceptScore W2089559735C41008148 @default.
- W2089559735 hasConceptScore W2089559735C71559656 @default.
- W2089559735 hasConceptScore W2089559735C75606506 @default.
- W2089559735 hasConceptScore W2089559735C97355855 @default.
- W2089559735 hasLocation W20895597351 @default.
- W2089559735 hasOpenAccess W2089559735 @default.
- W2089559735 hasPrimaryLocation W20895597351 @default.
- W2089559735 hasRelatedWork W1483806673 @default.
- W2089559735 hasRelatedWork W1537387651 @default.
- W2089559735 hasRelatedWork W2053323560 @default.
- W2089559735 hasRelatedWork W2096133083 @default.
- W2089559735 hasRelatedWork W2112401476 @default.
- W2089559735 hasRelatedWork W2131811951 @default.
- W2089559735 hasRelatedWork W2188057831 @default.
- W2089559735 hasRelatedWork W2299263495 @default.
- W2089559735 hasRelatedWork W2401075618 @default.
- W2089559735 hasRelatedWork W2602300369 @default.
- W2089559735 hasRelatedWork W2637583951 @default.
- W2089559735 hasRelatedWork W2766393167 @default.
- W2089559735 hasRelatedWork W2770639742 @default.
- W2089559735 hasRelatedWork W2884181463 @default.
- W2089559735 hasRelatedWork W2951761201 @default.
- W2089559735 hasRelatedWork W3101270742 @default.
- W2089559735 hasRelatedWork W3213340880 @default.
- W2089559735 hasRelatedWork W574795656 @default.
- W2089559735 hasRelatedWork W66319915 @default.
- W2089559735 hasRelatedWork W129880873 @default.
- W2089559735 isParatext "false" @default.
- W2089559735 isRetracted "false" @default.
- W2089559735 magId "2089559735" @default.
- W2089559735 workType "article" @default.