Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120600488> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2120600488 abstract "The applicability of model checking is often limited by the size of the industrial system. This is known as state space explosion problem. Compositional verification has been particularly successful in this regard. This paper presents an approach based on a refinement of search space partition for reducing the complexity in verification of models with non-deterministic choices and open environment. The refinement depends on the representation of each portion of search space. Especially, search space can be refined stepwise to get better reduction. As reported in the case studies, search space partition improves the efficiency of verification with respect to the requirement of memory and obtains significant advantage over the use of the original one" @default.
- W2120600488 created "2016-06-24" @default.
- W2120600488 creator A5023807441 @default.
- W2120600488 creator A5051238737 @default.
- W2120600488 date "2006-10-01" @default.
- W2120600488 modified "2023-09-24" @default.
- W2120600488 title "LTL Model Checking via Search Space Partition" @default.
- W2120600488 cites W1502176651 @default.
- W2120600488 cites W1503887377 @default.
- W2120600488 cites W1514243351 @default.
- W2120600488 cites W1532203055 @default.
- W2120600488 cites W1547100201 @default.
- W2120600488 cites W1590437595 @default.
- W2120600488 cites W1943502734 @default.
- W2120600488 cites W2017320285 @default.
- W2120600488 cites W2032577199 @default.
- W2120600488 cites W2080593426 @default.
- W2120600488 cites W2090106217 @default.
- W2120600488 cites W2155032609 @default.
- W2120600488 cites W2471308051 @default.
- W2120600488 doi "https://doi.org/10.1109/qsic.2006.37" @default.
- W2120600488 hasPublicationYear "2006" @default.
- W2120600488 type Work @default.
- W2120600488 sameAs 2120600488 @default.
- W2120600488 citedByCount "2" @default.
- W2120600488 countsByYear W21206004882012 @default.
- W2120600488 crossrefType "proceedings-article" @default.
- W2120600488 hasAuthorship W2120600488A5023807441 @default.
- W2120600488 hasAuthorship W2120600488A5051238737 @default.
- W2120600488 hasConcept C105795698 @default.
- W2120600488 hasConcept C110251889 @default.
- W2120600488 hasConcept C111335779 @default.
- W2120600488 hasConcept C111919701 @default.
- W2120600488 hasConcept C11413529 @default.
- W2120600488 hasConcept C114614502 @default.
- W2120600488 hasConcept C13670688 @default.
- W2120600488 hasConcept C17744445 @default.
- W2120600488 hasConcept C199539241 @default.
- W2120600488 hasConcept C2524010 @default.
- W2120600488 hasConcept C2776359362 @default.
- W2120600488 hasConcept C2778572836 @default.
- W2120600488 hasConcept C30888246 @default.
- W2120600488 hasConcept C33923547 @default.
- W2120600488 hasConcept C41008148 @default.
- W2120600488 hasConcept C42812 @default.
- W2120600488 hasConcept C72434380 @default.
- W2120600488 hasConcept C80444323 @default.
- W2120600488 hasConcept C94625758 @default.
- W2120600488 hasConceptScore W2120600488C105795698 @default.
- W2120600488 hasConceptScore W2120600488C110251889 @default.
- W2120600488 hasConceptScore W2120600488C111335779 @default.
- W2120600488 hasConceptScore W2120600488C111919701 @default.
- W2120600488 hasConceptScore W2120600488C11413529 @default.
- W2120600488 hasConceptScore W2120600488C114614502 @default.
- W2120600488 hasConceptScore W2120600488C13670688 @default.
- W2120600488 hasConceptScore W2120600488C17744445 @default.
- W2120600488 hasConceptScore W2120600488C199539241 @default.
- W2120600488 hasConceptScore W2120600488C2524010 @default.
- W2120600488 hasConceptScore W2120600488C2776359362 @default.
- W2120600488 hasConceptScore W2120600488C2778572836 @default.
- W2120600488 hasConceptScore W2120600488C30888246 @default.
- W2120600488 hasConceptScore W2120600488C33923547 @default.
- W2120600488 hasConceptScore W2120600488C41008148 @default.
- W2120600488 hasConceptScore W2120600488C42812 @default.
- W2120600488 hasConceptScore W2120600488C72434380 @default.
- W2120600488 hasConceptScore W2120600488C80444323 @default.
- W2120600488 hasConceptScore W2120600488C94625758 @default.
- W2120600488 hasLocation W21206004881 @default.
- W2120600488 hasOpenAccess W2120600488 @default.
- W2120600488 hasPrimaryLocation W21206004881 @default.
- W2120600488 hasRelatedWork W1572578464 @default.
- W2120600488 hasRelatedWork W1607121733 @default.
- W2120600488 hasRelatedWork W1964632015 @default.
- W2120600488 hasRelatedWork W2069919327 @default.
- W2120600488 hasRelatedWork W2110224202 @default.
- W2120600488 hasRelatedWork W2120600488 @default.
- W2120600488 hasRelatedWork W2149299285 @default.
- W2120600488 hasRelatedWork W2303594568 @default.
- W2120600488 hasRelatedWork W2380536301 @default.
- W2120600488 hasRelatedWork W2885960350 @default.
- W2120600488 isParatext "false" @default.
- W2120600488 isRetracted "false" @default.
- W2120600488 magId "2120600488" @default.
- W2120600488 workType "article" @default.