Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141068082> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2141068082 abstract "In the context of component-based design, the verification of global properties (involving several components) is difficult to achieve, due to combinatorial explosion problem, while the verification of each component is easier to perform. Following the idea of [24], we propose to build an abstraction of a component already verified, starting from a subset of its specification described as CTL formulae. This abstraction replaces the concrete component and alleviates the state-space explosion problem for checking global properties expressed in ACTL." @default.
- W2141068082 created "2016-06-24" @default.
- W2141068082 creator A5009181880 @default.
- W2141068082 creator A5023453269 @default.
- W2141068082 date "2007-07-01" @default.
- W2141068082 modified "2023-09-25" @default.
- W2141068082 title "Using CTL formulae as component abstraction in a design and verification flow" @default.
- W2141068082 cites W114468880 @default.
- W2141068082 cites W1527925700 @default.
- W2141068082 cites W1559445291 @default.
- W2141068082 cites W1604627363 @default.
- W2141068082 cites W1971979814 @default.
- W2141068082 cites W1988808695 @default.
- W2141068082 cites W2007378539 @default.
- W2141068082 cites W2034102118 @default.
- W2141068082 cites W2054198444 @default.
- W2141068082 cites W2106173323 @default.
- W2141068082 cites W2112934124 @default.
- W2141068082 cites W2127574686 @default.
- W2141068082 cites W2160086685 @default.
- W2141068082 cites W2487142227 @default.
- W2141068082 cites W4233002032 @default.
- W2141068082 doi "https://doi.org/10.1109/acsd.2007.76" @default.
- W2141068082 hasPublicationYear "2007" @default.
- W2141068082 type Work @default.
- W2141068082 sameAs 2141068082 @default.
- W2141068082 citedByCount "4" @default.
- W2141068082 countsByYear W21410680822013 @default.
- W2141068082 countsByYear W21410680822014 @default.
- W2141068082 crossrefType "proceedings-article" @default.
- W2141068082 hasAuthorship W2141068082A5009181880 @default.
- W2141068082 hasAuthorship W2141068082A5023453269 @default.
- W2141068082 hasConcept C111472728 @default.
- W2141068082 hasConcept C121332964 @default.
- W2141068082 hasConcept C124304363 @default.
- W2141068082 hasConcept C138885662 @default.
- W2141068082 hasConcept C147969180 @default.
- W2141068082 hasConcept C154317977 @default.
- W2141068082 hasConcept C168167062 @default.
- W2141068082 hasConcept C185592680 @default.
- W2141068082 hasConcept C199360897 @default.
- W2141068082 hasConcept C202751555 @default.
- W2141068082 hasConcept C2524010 @default.
- W2141068082 hasConcept C33923547 @default.
- W2141068082 hasConcept C38349280 @default.
- W2141068082 hasConcept C41008148 @default.
- W2141068082 hasConcept C55493867 @default.
- W2141068082 hasConcept C97355855 @default.
- W2141068082 hasConceptScore W2141068082C111472728 @default.
- W2141068082 hasConceptScore W2141068082C121332964 @default.
- W2141068082 hasConceptScore W2141068082C124304363 @default.
- W2141068082 hasConceptScore W2141068082C138885662 @default.
- W2141068082 hasConceptScore W2141068082C147969180 @default.
- W2141068082 hasConceptScore W2141068082C154317977 @default.
- W2141068082 hasConceptScore W2141068082C168167062 @default.
- W2141068082 hasConceptScore W2141068082C185592680 @default.
- W2141068082 hasConceptScore W2141068082C199360897 @default.
- W2141068082 hasConceptScore W2141068082C202751555 @default.
- W2141068082 hasConceptScore W2141068082C2524010 @default.
- W2141068082 hasConceptScore W2141068082C33923547 @default.
- W2141068082 hasConceptScore W2141068082C38349280 @default.
- W2141068082 hasConceptScore W2141068082C41008148 @default.
- W2141068082 hasConceptScore W2141068082C55493867 @default.
- W2141068082 hasConceptScore W2141068082C97355855 @default.
- W2141068082 hasLocation W21410680821 @default.
- W2141068082 hasLocation W21410680822 @default.
- W2141068082 hasOpenAccess W2141068082 @default.
- W2141068082 hasPrimaryLocation W21410680821 @default.
- W2141068082 hasRelatedWork W2112962394 @default.
- W2141068082 hasRelatedWork W2118300983 @default.
- W2141068082 hasRelatedWork W2166247150 @default.
- W2141068082 hasRelatedWork W2379533788 @default.
- W2141068082 hasRelatedWork W2382501300 @default.
- W2141068082 hasRelatedWork W3137189469 @default.
- W2141068082 hasRelatedWork W3160136729 @default.
- W2141068082 hasRelatedWork W3216885170 @default.
- W2141068082 hasRelatedWork W4235530921 @default.
- W2141068082 hasRelatedWork W4243252198 @default.
- W2141068082 isParatext "false" @default.
- W2141068082 isRetracted "false" @default.
- W2141068082 magId "2141068082" @default.
- W2141068082 workType "article" @default.