Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100076496> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2100076496 endingPage "51" @default.
- W2100076496 startingPage "39" @default.
- W2100076496 abstract "Partial-order reduction is one of the main techniques used to tackle the combinatorial state explosion problem occurring in explicit-state model checking of concurrent systems. The reduction is performed by exploiting the independence of concurrently executed events, which allows portions of the state space to be pruned. An important condition for the soundness of partial-order-based reduction algorithms is a condition that prevents indefinite ignoring of actions when pruning the state space. This condition is commonly known as the cycle proviso. In this paper, we present a new version of this proviso, which is applicable to a general search algorithm skeleton that we refer to as the general state exploring algorithm (GSEA). GSEA maintains a set of open states from which states are iteratively selected for expansion and moved to a closed set of states. Depending on the data structure used to represent the open set, GSEA can be instantiated as a depth-first, a breadth-first, or a directed search algorithm such as Best-First Search or A*. The proviso is characterized by reference to the open and closed set of states of the search algorithm. As a result, it can be computed in an efficient manner during the search based on local information. We implemented partial-order reduction for GSEA based on our proposed proviso in the tool HSF-SPIN, an extension of the explicit-state model checker SPIN for directed model checking. We evaluate the state space reduction achieved by partial-order reduction using the proposed proviso by comparing it on a set of benchmark problems to the use of other provisos. We also compare the use of breadth-first search (BFS) and A*, two algorithms ensuring that counterexamples of minimal length will be found, together with the proviso that we propose." @default.
- W2100076496 created "2016-06-24" @default.
- W2100076496 creator A5045470371 @default.
- W2100076496 creator A5054527006 @default.
- W2100076496 creator A5077791579 @default.
- W2100076496 date "2008-11-14" @default.
- W2100076496 modified "2023-10-07" @default.
- W2100076496 title "Partial-order reduction for general state exploring algorithms" @default.
- W2100076496 cites W1481204670 @default.
- W2100076496 cites W1494237684 @default.
- W2100076496 cites W1504503597 @default.
- W2100076496 cites W1505732339 @default.
- W2100076496 cites W1513047676 @default.
- W2100076496 cites W1514243351 @default.
- W2100076496 cites W1523442991 @default.
- W2100076496 cites W1539345619 @default.
- W2100076496 cites W1544092322 @default.
- W2100076496 cites W1563242841 @default.
- W2100076496 cites W1574570499 @default.
- W2100076496 cites W1967333679 @default.
- W2100076496 cites W1969483458 @default.
- W2100076496 cites W2006406722 @default.
- W2100076496 cites W2017008045 @default.
- W2100076496 cites W2062081943 @default.
- W2100076496 cites W2067623660 @default.
- W2100076496 cites W2093709900 @default.
- W2100076496 cites W2099184861 @default.
- W2100076496 cites W2120054254 @default.
- W2100076496 cites W2123136077 @default.
- W2100076496 cites W2145727812 @default.
- W2100076496 cites W2162105624 @default.
- W2100076496 cites W4236102081 @default.
- W2100076496 cites W4246017475 @default.
- W2100076496 cites W4247502652 @default.
- W2100076496 doi "https://doi.org/10.1007/s10009-008-0093-y" @default.
- W2100076496 hasPublicationYear "2008" @default.
- W2100076496 type Work @default.
- W2100076496 sameAs 2100076496 @default.
- W2100076496 citedByCount "18" @default.
- W2100076496 countsByYear W21000764962012 @default.
- W2100076496 countsByYear W21000764962014 @default.
- W2100076496 countsByYear W21000764962015 @default.
- W2100076496 countsByYear W21000764962016 @default.
- W2100076496 countsByYear W21000764962018 @default.
- W2100076496 countsByYear W21000764962019 @default.
- W2100076496 countsByYear W21000764962020 @default.
- W2100076496 crossrefType "journal-article" @default.
- W2100076496 hasAuthorship W2100076496A5045470371 @default.
- W2100076496 hasAuthorship W2100076496A5054527006 @default.
- W2100076496 hasAuthorship W2100076496A5077791579 @default.
- W2100076496 hasBestOaLocation W21000764962 @default.
- W2100076496 hasConcept C10138342 @default.
- W2100076496 hasConcept C110251889 @default.
- W2100076496 hasConcept C111335779 @default.
- W2100076496 hasConcept C11413529 @default.
- W2100076496 hasConcept C162324750 @default.
- W2100076496 hasConcept C182306322 @default.
- W2100076496 hasConcept C24858836 @default.
- W2100076496 hasConcept C2524010 @default.
- W2100076496 hasConcept C33923547 @default.
- W2100076496 hasConcept C41008148 @default.
- W2100076496 hasConcept C48103436 @default.
- W2100076496 hasConcept C94633896 @default.
- W2100076496 hasConceptScore W2100076496C10138342 @default.
- W2100076496 hasConceptScore W2100076496C110251889 @default.
- W2100076496 hasConceptScore W2100076496C111335779 @default.
- W2100076496 hasConceptScore W2100076496C11413529 @default.
- W2100076496 hasConceptScore W2100076496C162324750 @default.
- W2100076496 hasConceptScore W2100076496C182306322 @default.
- W2100076496 hasConceptScore W2100076496C24858836 @default.
- W2100076496 hasConceptScore W2100076496C2524010 @default.
- W2100076496 hasConceptScore W2100076496C33923547 @default.
- W2100076496 hasConceptScore W2100076496C41008148 @default.
- W2100076496 hasConceptScore W2100076496C48103436 @default.
- W2100076496 hasConceptScore W2100076496C94633896 @default.
- W2100076496 hasIssue "1" @default.
- W2100076496 hasLocation W21000764961 @default.
- W2100076496 hasLocation W21000764962 @default.
- W2100076496 hasLocation W21000764963 @default.
- W2100076496 hasLocation W21000764964 @default.
- W2100076496 hasOpenAccess W2100076496 @default.
- W2100076496 hasPrimaryLocation W21000764961 @default.
- W2100076496 hasRelatedWork W1539345619 @default.
- W2100076496 hasRelatedWork W182223327 @default.
- W2100076496 hasRelatedWork W1868864221 @default.
- W2100076496 hasRelatedWork W1929497867 @default.
- W2100076496 hasRelatedWork W1997935753 @default.
- W2100076496 hasRelatedWork W1999288406 @default.
- W2100076496 hasRelatedWork W2076975659 @default.
- W2100076496 hasRelatedWork W2093681800 @default.
- W2100076496 hasRelatedWork W2352590024 @default.
- W2100076496 hasRelatedWork W2970425440 @default.
- W2100076496 hasVolume "11" @default.
- W2100076496 isParatext "false" @default.
- W2100076496 isRetracted "false" @default.
- W2100076496 magId "2100076496" @default.
- W2100076496 workType "article" @default.