Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567952077> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1567952077 endingPage "200" @default.
- W1567952077 startingPage "186" @default.
- W1567952077 abstract "Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by influencing the order in which states are explored during the state space traversal. The order is typically determined by an abstract distance function that estimates a state’s distance to a nearest error state. In this paper, we propose a general enhancement to directed model checking based on the evaluation of state transitions. We present a schema, parametrized by an abstract distance function, to evaluate transitions and propose a new method for the state space traversal. Our framework can be applied automatically to a wide range of abstract distance functions. The empirical evaluation impressively shows its practical potential. Apparently, the new method identifies a sweet spot in the trade-off between scalability (memory consumption) and short error traces." @default.
- W1567952077 created "2016-06-24" @default.
- W1567952077 creator A5020261327 @default.
- W1567952077 creator A5062411838 @default.
- W1567952077 creator A5088003643 @default.
- W1567952077 date "2009-01-01" @default.
- W1567952077 modified "2023-10-16" @default.
- W1567952077 title "Transition-Based Directed Model Checking" @default.
- W1567952077 cites W1528447803 @default.
- W1567952077 cites W1545265909 @default.
- W1567952077 cites W1545688112 @default.
- W1567952077 cites W1546129131 @default.
- W1567952077 cites W1600093983 @default.
- W1567952077 cites W1761034813 @default.
- W1567952077 cites W1792138840 @default.
- W1567952077 cites W2006406722 @default.
- W1567952077 cites W2036802481 @default.
- W1567952077 cites W2056791366 @default.
- W1567952077 cites W2073032446 @default.
- W1567952077 cites W2119571962 @default.
- W1567952077 cites W2122054842 @default.
- W1567952077 cites W2166071597 @default.
- W1567952077 cites W4234244433 @default.
- W1567952077 cites W78882874 @default.
- W1567952077 cites W89579886 @default.
- W1567952077 doi "https://doi.org/10.1007/978-3-642-00768-2_19" @default.
- W1567952077 hasPublicationYear "2009" @default.
- W1567952077 type Work @default.
- W1567952077 sameAs 1567952077 @default.
- W1567952077 citedByCount "10" @default.
- W1567952077 countsByYear W15679520772012 @default.
- W1567952077 countsByYear W15679520772014 @default.
- W1567952077 countsByYear W15679520772016 @default.
- W1567952077 countsByYear W15679520772017 @default.
- W1567952077 countsByYear W15679520772018 @default.
- W1567952077 countsByYear W15679520772019 @default.
- W1567952077 crossrefType "book-chapter" @default.
- W1567952077 hasAuthorship W1567952077A5020261327 @default.
- W1567952077 hasAuthorship W1567952077A5062411838 @default.
- W1567952077 hasAuthorship W1567952077A5088003643 @default.
- W1567952077 hasBestOaLocation W15679520771 @default.
- W1567952077 hasConcept C105795698 @default.
- W1567952077 hasConcept C110251889 @default.
- W1567952077 hasConcept C11413529 @default.
- W1567952077 hasConcept C119857082 @default.
- W1567952077 hasConcept C14036430 @default.
- W1567952077 hasConcept C140745168 @default.
- W1567952077 hasConcept C33923547 @default.
- W1567952077 hasConcept C41008148 @default.
- W1567952077 hasConcept C48044578 @default.
- W1567952077 hasConcept C48103436 @default.
- W1567952077 hasConcept C52146309 @default.
- W1567952077 hasConcept C72434380 @default.
- W1567952077 hasConcept C77088390 @default.
- W1567952077 hasConcept C78458016 @default.
- W1567952077 hasConcept C80444323 @default.
- W1567952077 hasConcept C86803240 @default.
- W1567952077 hasConceptScore W1567952077C105795698 @default.
- W1567952077 hasConceptScore W1567952077C110251889 @default.
- W1567952077 hasConceptScore W1567952077C11413529 @default.
- W1567952077 hasConceptScore W1567952077C119857082 @default.
- W1567952077 hasConceptScore W1567952077C14036430 @default.
- W1567952077 hasConceptScore W1567952077C140745168 @default.
- W1567952077 hasConceptScore W1567952077C33923547 @default.
- W1567952077 hasConceptScore W1567952077C41008148 @default.
- W1567952077 hasConceptScore W1567952077C48044578 @default.
- W1567952077 hasConceptScore W1567952077C48103436 @default.
- W1567952077 hasConceptScore W1567952077C52146309 @default.
- W1567952077 hasConceptScore W1567952077C72434380 @default.
- W1567952077 hasConceptScore W1567952077C77088390 @default.
- W1567952077 hasConceptScore W1567952077C78458016 @default.
- W1567952077 hasConceptScore W1567952077C80444323 @default.
- W1567952077 hasConceptScore W1567952077C86803240 @default.
- W1567952077 hasLocation W15679520771 @default.
- W1567952077 hasLocation W15679520772 @default.
- W1567952077 hasLocation W15679520773 @default.
- W1567952077 hasOpenAccess W1567952077 @default.
- W1567952077 hasPrimaryLocation W15679520771 @default.
- W1567952077 hasRelatedWork W2121884216 @default.
- W1567952077 hasRelatedWork W2135788462 @default.
- W1567952077 hasRelatedWork W2147793914 @default.
- W1567952077 hasRelatedWork W2167919796 @default.
- W1567952077 hasRelatedWork W2172190585 @default.
- W1567952077 hasRelatedWork W2188625294 @default.
- W1567952077 hasRelatedWork W2493800215 @default.
- W1567952077 hasRelatedWork W4214727065 @default.
- W1567952077 hasRelatedWork W4285787290 @default.
- W1567952077 hasRelatedWork W4293399526 @default.
- W1567952077 isParatext "false" @default.
- W1567952077 isRetracted "false" @default.
- W1567952077 magId "1567952077" @default.
- W1567952077 workType "book-chapter" @default.