Matches in SemOpenAlex for { <https://semopenalex.org/work/W3039995455> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3039995455 abstract "This dissertation presents a framework for the formal verification of standard embedded components such us bus protocol, microprocessor, memory blocks, various IP blocks, and a software component. It includes a model checking of embedded systems components. The algorithms are modeled on SystemC and transformed on Promela language (PROcess or PROtocol MEta LAnguage) with the integration of LTL (Linear Temporal Logic) properties extracting from state machines in order to reduce verification complexity. Thus, SysVerPml is not only dedicated to verifying generated properties but also for the automation integration of other properties in models if needed. In the following, we will provide the answer to the problems of component representation on the design system, what properties are appropriate for each component, and how to verify properties." @default.
- W3039995455 created "2020-07-10" @default.
- W3039995455 creator A5022723833 @default.
- W3039995455 creator A5025223211 @default.
- W3039995455 date "2020-01-01" @default.
- W3039995455 modified "2023-09-26" @default.
- W3039995455 title "Generic Framework Architecture for Verifying Embedded Components" @default.
- W3039995455 doi "https://doi.org/10.14569/ijacsa.2020.0110639" @default.
- W3039995455 hasPublicationYear "2020" @default.
- W3039995455 type Work @default.
- W3039995455 sameAs 3039995455 @default.
- W3039995455 citedByCount "0" @default.
- W3039995455 crossrefType "journal-article" @default.
- W3039995455 hasAuthorship W3039995455A5022723833 @default.
- W3039995455 hasAuthorship W3039995455A5025223211 @default.
- W3039995455 hasBestOaLocation W30399954551 @default.
- W3039995455 hasConcept C110251889 @default.
- W3039995455 hasConcept C111498074 @default.
- W3039995455 hasConcept C121332964 @default.
- W3039995455 hasConcept C142724271 @default.
- W3039995455 hasConcept C145243422 @default.
- W3039995455 hasConcept C149635348 @default.
- W3039995455 hasConcept C167822520 @default.
- W3039995455 hasConcept C168167062 @default.
- W3039995455 hasConcept C199360897 @default.
- W3039995455 hasConcept C204787440 @default.
- W3039995455 hasConcept C2776329536 @default.
- W3039995455 hasConcept C2776928060 @default.
- W3039995455 hasConcept C2780385302 @default.
- W3039995455 hasConcept C41008148 @default.
- W3039995455 hasConcept C71924100 @default.
- W3039995455 hasConcept C75606506 @default.
- W3039995455 hasConcept C94633896 @default.
- W3039995455 hasConcept C97355855 @default.
- W3039995455 hasConceptScore W3039995455C110251889 @default.
- W3039995455 hasConceptScore W3039995455C111498074 @default.
- W3039995455 hasConceptScore W3039995455C121332964 @default.
- W3039995455 hasConceptScore W3039995455C142724271 @default.
- W3039995455 hasConceptScore W3039995455C145243422 @default.
- W3039995455 hasConceptScore W3039995455C149635348 @default.
- W3039995455 hasConceptScore W3039995455C167822520 @default.
- W3039995455 hasConceptScore W3039995455C168167062 @default.
- W3039995455 hasConceptScore W3039995455C199360897 @default.
- W3039995455 hasConceptScore W3039995455C204787440 @default.
- W3039995455 hasConceptScore W3039995455C2776329536 @default.
- W3039995455 hasConceptScore W3039995455C2776928060 @default.
- W3039995455 hasConceptScore W3039995455C2780385302 @default.
- W3039995455 hasConceptScore W3039995455C41008148 @default.
- W3039995455 hasConceptScore W3039995455C71924100 @default.
- W3039995455 hasConceptScore W3039995455C75606506 @default.
- W3039995455 hasConceptScore W3039995455C94633896 @default.
- W3039995455 hasConceptScore W3039995455C97355855 @default.
- W3039995455 hasIssue "6" @default.
- W3039995455 hasLocation W30399954551 @default.
- W3039995455 hasOpenAccess W3039995455 @default.
- W3039995455 hasPrimaryLocation W30399954551 @default.
- W3039995455 hasRelatedWork W1504525241 @default.
- W3039995455 hasRelatedWork W1592393183 @default.
- W3039995455 hasRelatedWork W174007698 @default.
- W3039995455 hasRelatedWork W2370841479 @default.
- W3039995455 hasRelatedWork W2741430969 @default.
- W3039995455 hasRelatedWork W28279778 @default.
- W3039995455 hasRelatedWork W2888171167 @default.
- W3039995455 hasRelatedWork W3039995455 @default.
- W3039995455 hasRelatedWork W3172631514 @default.
- W3039995455 hasRelatedWork W4254808108 @default.
- W3039995455 hasVolume "11" @default.
- W3039995455 isParatext "false" @default.
- W3039995455 isRetracted "false" @default.
- W3039995455 magId "3039995455" @default.
- W3039995455 workType "article" @default.