Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055587005> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2055587005 abstract "Even though BDD-based reachability analysis can handle many large designs, the BDD sizes still often explode, and its performance is hard to predict. To address this problem, several decomposed approaches are presented in [6] to perform approximate state space traversal on a partitioned design. These approaches use reachable states as invariants to constrain the inputs of each partition to reduce unreachable states. This paper presents an improvement such that the input behavior of each partition is constrained by the state transitions allowed by the source partitions where the inputs are defined. Experimental results show that this type of input constraints helps to produce tighter state space for each partition. Furthermore, the effect of design partitioning on the performance is also discussed." @default.
- W2055587005 created "2016-06-24" @default.
- W2055587005 creator A5018105292 @default.
- W2055587005 creator A5074924343 @default.
- W2055587005 date "2010-06-01" @default.
- W2055587005 modified "2023-10-14" @default.
- W2055587005 title "An improvement in decomposed reachability analysis for symbolic model checking" @default.
- W2055587005 cites W1488659932 @default.
- W2055587005 cites W1508602846 @default.
- W2055587005 cites W1590437595 @default.
- W2055587005 cites W1983064190 @default.
- W2055587005 cites W2095617372 @default.
- W2055587005 cites W2098039922 @default.
- W2055587005 cites W2118713304 @default.
- W2055587005 cites W2130025446 @default.
- W2055587005 cites W2136248572 @default.
- W2055587005 cites W2137467159 @default.
- W2055587005 cites W2137889577 @default.
- W2055587005 cites W2143337647 @default.
- W2055587005 cites W2340735175 @default.
- W2055587005 cites W3023191323 @default.
- W2055587005 doi "https://doi.org/10.1109/hldvt.2010.5496663" @default.
- W2055587005 hasPublicationYear "2010" @default.
- W2055587005 type Work @default.
- W2055587005 sameAs 2055587005 @default.
- W2055587005 citedByCount "0" @default.
- W2055587005 crossrefType "proceedings-article" @default.
- W2055587005 hasAuthorship W2055587005A5018105292 @default.
- W2055587005 hasAuthorship W2055587005A5074924343 @default.
- W2055587005 hasConcept C105795698 @default.
- W2055587005 hasConcept C110251889 @default.
- W2055587005 hasConcept C11413529 @default.
- W2055587005 hasConcept C114614502 @default.
- W2055587005 hasConcept C126255220 @default.
- W2055587005 hasConcept C136643341 @default.
- W2055587005 hasConcept C140745168 @default.
- W2055587005 hasConcept C199360897 @default.
- W2055587005 hasConcept C2777904410 @default.
- W2055587005 hasConcept C2779639559 @default.
- W2055587005 hasConcept C33923547 @default.
- W2055587005 hasConcept C41008148 @default.
- W2055587005 hasConcept C42812 @default.
- W2055587005 hasConcept C48103436 @default.
- W2055587005 hasConcept C72434380 @default.
- W2055587005 hasConcept C80444323 @default.
- W2055587005 hasConceptScore W2055587005C105795698 @default.
- W2055587005 hasConceptScore W2055587005C110251889 @default.
- W2055587005 hasConceptScore W2055587005C11413529 @default.
- W2055587005 hasConceptScore W2055587005C114614502 @default.
- W2055587005 hasConceptScore W2055587005C126255220 @default.
- W2055587005 hasConceptScore W2055587005C136643341 @default.
- W2055587005 hasConceptScore W2055587005C140745168 @default.
- W2055587005 hasConceptScore W2055587005C199360897 @default.
- W2055587005 hasConceptScore W2055587005C2777904410 @default.
- W2055587005 hasConceptScore W2055587005C2779639559 @default.
- W2055587005 hasConceptScore W2055587005C33923547 @default.
- W2055587005 hasConceptScore W2055587005C41008148 @default.
- W2055587005 hasConceptScore W2055587005C42812 @default.
- W2055587005 hasConceptScore W2055587005C48103436 @default.
- W2055587005 hasConceptScore W2055587005C72434380 @default.
- W2055587005 hasConceptScore W2055587005C80444323 @default.
- W2055587005 hasLocation W20555870051 @default.
- W2055587005 hasOpenAccess W2055587005 @default.
- W2055587005 hasPrimaryLocation W20555870051 @default.
- W2055587005 hasRelatedWork W1480276185 @default.
- W2055587005 hasRelatedWork W1976641633 @default.
- W2055587005 hasRelatedWork W2208548551 @default.
- W2055587005 hasRelatedWork W2274504493 @default.
- W2055587005 hasRelatedWork W2401165632 @default.
- W2055587005 hasRelatedWork W2600553900 @default.
- W2055587005 hasRelatedWork W2767789956 @default.
- W2055587005 hasRelatedWork W2807520626 @default.
- W2055587005 hasRelatedWork W2883622352 @default.
- W2055587005 hasRelatedWork W2891732136 @default.
- W2055587005 hasRelatedWork W2903256317 @default.
- W2055587005 hasRelatedWork W2911430074 @default.
- W2055587005 hasRelatedWork W2953023573 @default.
- W2055587005 hasRelatedWork W2957285558 @default.
- W2055587005 hasRelatedWork W2965013732 @default.
- W2055587005 hasRelatedWork W2974199725 @default.
- W2055587005 hasRelatedWork W3013313859 @default.
- W2055587005 hasRelatedWork W3104074232 @default.
- W2055587005 hasRelatedWork W3152296989 @default.
- W2055587005 hasRelatedWork W3198519141 @default.
- W2055587005 isParatext "false" @default.
- W2055587005 isRetracted "false" @default.
- W2055587005 magId "2055587005" @default.
- W2055587005 workType "article" @default.