Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132251660> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2132251660 endingPage "340" @default.
- W2132251660 startingPage "329" @default.
- W2132251660 abstract "Compositional verification is essential to address state explosion in model checking. Traditionally, an over-approximate context is needed for each individual component in a system for sound verification. This may cause state explosion for the intermediate results as well as inefficiency for abstraction refinement. This paper presents an opposite approach, a compositional reachability method, which constructs the state space of each component from an under-approximate context gradually until a counter-example is found or a fixpoint in state space is reached. This method has an additional advantage in that counter-examples, if there are any, can be found much earlier, thus leading to faster verification. Furthermore, this modular verification framework does not require complex compositional reasoning rules. The experimental results indicate that this method is promising." @default.
- W2132251660 created "2016-06-24" @default.
- W2132251660 creator A5018105292 @default.
- W2132251660 date "2010-03-01" @default.
- W2132251660 modified "2023-09-24" @default.
- W2132251660 title "Compositional Reachability Analysis for Efficient Modular Verification of Asynchronous Designs" @default.
- W2132251660 cites W1490128362 @default.
- W2132251660 cites W1508602846 @default.
- W2132251660 cites W1536007121 @default.
- W2132251660 cites W1541691471 @default.
- W2132251660 cites W1590437595 @default.
- W2132251660 cites W1801993675 @default.
- W2132251660 cites W1887332231 @default.
- W2132251660 cites W2009965218 @default.
- W2132251660 cites W2038952689 @default.
- W2132251660 cites W2046206674 @default.
- W2132251660 cites W2054198444 @default.
- W2132251660 cites W2080593426 @default.
- W2132251660 cites W2090106217 @default.
- W2132251660 cites W2090551028 @default.
- W2132251660 cites W2098039922 @default.
- W2132251660 cites W2106387547 @default.
- W2132251660 cites W2117013774 @default.
- W2132251660 cites W2120521925 @default.
- W2132251660 cites W2127574686 @default.
- W2132251660 cites W2130025446 @default.
- W2132251660 cites W2130434989 @default.
- W2132251660 cites W2154764836 @default.
- W2132251660 cites W2160593815 @default.
- W2132251660 cites W2162735029 @default.
- W2132251660 cites W2169131413 @default.
- W2132251660 cites W2169134334 @default.
- W2132251660 cites W2293601555 @default.
- W2132251660 cites W2295903414 @default.
- W2132251660 cites W3023191323 @default.
- W2132251660 cites W4298011152 @default.
- W2132251660 cites W2126641107 @default.
- W2132251660 doi "https://doi.org/10.1109/tcad.2009.2035544" @default.
- W2132251660 hasPublicationYear "2010" @default.
- W2132251660 type Work @default.
- W2132251660 sameAs 2132251660 @default.
- W2132251660 citedByCount "9" @default.
- W2132251660 countsByYear W21322516602012 @default.
- W2132251660 countsByYear W21322516602013 @default.
- W2132251660 countsByYear W21322516602014 @default.
- W2132251660 countsByYear W21322516602015 @default.
- W2132251660 countsByYear W21322516602020 @default.
- W2132251660 crossrefType "journal-article" @default.
- W2132251660 hasAuthorship W2132251660A5018105292 @default.
- W2132251660 hasConcept C101468663 @default.
- W2132251660 hasConcept C136643341 @default.
- W2132251660 hasConcept C151319957 @default.
- W2132251660 hasConcept C199360897 @default.
- W2132251660 hasConcept C31258907 @default.
- W2132251660 hasConcept C41008148 @default.
- W2132251660 hasConcept C80444323 @default.
- W2132251660 hasConceptScore W2132251660C101468663 @default.
- W2132251660 hasConceptScore W2132251660C136643341 @default.
- W2132251660 hasConceptScore W2132251660C151319957 @default.
- W2132251660 hasConceptScore W2132251660C199360897 @default.
- W2132251660 hasConceptScore W2132251660C31258907 @default.
- W2132251660 hasConceptScore W2132251660C41008148 @default.
- W2132251660 hasConceptScore W2132251660C80444323 @default.
- W2132251660 hasIssue "3" @default.
- W2132251660 hasLocation W21322516601 @default.
- W2132251660 hasOpenAccess W2132251660 @default.
- W2132251660 hasPrimaryLocation W21322516601 @default.
- W2132251660 hasRelatedWork W11900108 @default.
- W2132251660 hasRelatedWork W1486100501 @default.
- W2132251660 hasRelatedWork W1563374799 @default.
- W2132251660 hasRelatedWork W2141472669 @default.
- W2132251660 hasRelatedWork W2147711412 @default.
- W2132251660 hasRelatedWork W2153820379 @default.
- W2132251660 hasRelatedWork W2368796975 @default.
- W2132251660 hasRelatedWork W3026940864 @default.
- W2132251660 hasRelatedWork W381935118 @default.
- W2132251660 hasRelatedWork W2471240302 @default.
- W2132251660 hasVolume "29" @default.
- W2132251660 isParatext "false" @default.
- W2132251660 isRetracted "false" @default.
- W2132251660 magId "2132251660" @default.
- W2132251660 workType "article" @default.