Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948696358> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2948696358 endingPage "241" @default.
- W2948696358 startingPage "224" @default.
- W2948696358 abstract "Unfolding-based Dynamic Partial Order Reduction (UDPOR) is a recent technique mixing Dynamic Partial Order Reduction (DPOR) with concepts of concurrency such as unfoldings to efficiently mitigate state space explosion in model-checking of concurrent programs. It is optimal in the sense that each Mazurkiewicz trace, i.e. a class of interleavings equivalent by commuting independent actions, is explored exactly once. This paper shows that UDPOR can be extended to verify asynchronous distributed applications, where processes both communicate by messages and synchronize on shared resources. To do so, a general model of asynchronous distributed programs is formalized in TLA+. This allows to define an independence relation, a main ingredient of the unfolding semantics. Then, the adaptation of UDPOR, involving the construction of an unfolding, is made efficient by a precise analysis of dependencies. A prototype implementation gives promising experimental results." @default.
- W2948696358 created "2019-06-14" @default.
- W2948696358 creator A5001727653 @default.
- W2948696358 creator A5024509534 @default.
- W2948696358 date "2019-01-01" @default.
- W2948696358 modified "2023-10-16" @default.
- W2948696358 title "Unfolding-Based Dynamic Partial Order Reduction of Asynchronous Distributed Programs" @default.
- W2948696358 cites W1761923495 @default.
- W2948696358 cites W1966992415 @default.
- W2948696358 cites W2008078972 @default.
- W2948696358 cites W2031852978 @default.
- W2948696358 cites W2093709900 @default.
- W2948696358 cites W2106001218 @default.
- W2948696358 cites W2169870841 @default.
- W2948696358 cites W2561672146 @default.
- W2948696358 cites W2765500033 @default.
- W2948696358 cites W2778798134 @default.
- W2948696358 cites W2808769940 @default.
- W2948696358 cites W2883559598 @default.
- W2948696358 cites W2963322207 @default.
- W2948696358 cites W2964156448 @default.
- W2948696358 cites W4250620090 @default.
- W2948696358 doi "https://doi.org/10.1007/978-3-030-21759-4_13" @default.
- W2948696358 hasPublicationYear "2019" @default.
- W2948696358 type Work @default.
- W2948696358 sameAs 2948696358 @default.
- W2948696358 citedByCount "1" @default.
- W2948696358 countsByYear W29486963582020 @default.
- W2948696358 crossrefType "book-chapter" @default.
- W2948696358 hasAuthorship W2948696358A5001727653 @default.
- W2948696358 hasAuthorship W2948696358A5024509534 @default.
- W2948696358 hasBestOaLocation W29486963582 @default.
- W2948696358 hasConcept C105795698 @default.
- W2948696358 hasConcept C110251889 @default.
- W2948696358 hasConcept C111335779 @default.
- W2948696358 hasConcept C11413529 @default.
- W2948696358 hasConcept C120314980 @default.
- W2948696358 hasConcept C138885662 @default.
- W2948696358 hasConcept C151319957 @default.
- W2948696358 hasConcept C184337299 @default.
- W2948696358 hasConcept C193702766 @default.
- W2948696358 hasConcept C199360897 @default.
- W2948696358 hasConcept C2524010 @default.
- W2948696358 hasConcept C31258907 @default.
- W2948696358 hasConcept C33923547 @default.
- W2948696358 hasConcept C35651441 @default.
- W2948696358 hasConcept C41008148 @default.
- W2948696358 hasConcept C41895202 @default.
- W2948696358 hasConcept C48103436 @default.
- W2948696358 hasConcept C56348326 @default.
- W2948696358 hasConcept C72434380 @default.
- W2948696358 hasConcept C75291252 @default.
- W2948696358 hasConcept C80444323 @default.
- W2948696358 hasConcept C94633896 @default.
- W2948696358 hasConceptScore W2948696358C105795698 @default.
- W2948696358 hasConceptScore W2948696358C110251889 @default.
- W2948696358 hasConceptScore W2948696358C111335779 @default.
- W2948696358 hasConceptScore W2948696358C11413529 @default.
- W2948696358 hasConceptScore W2948696358C120314980 @default.
- W2948696358 hasConceptScore W2948696358C138885662 @default.
- W2948696358 hasConceptScore W2948696358C151319957 @default.
- W2948696358 hasConceptScore W2948696358C184337299 @default.
- W2948696358 hasConceptScore W2948696358C193702766 @default.
- W2948696358 hasConceptScore W2948696358C199360897 @default.
- W2948696358 hasConceptScore W2948696358C2524010 @default.
- W2948696358 hasConceptScore W2948696358C31258907 @default.
- W2948696358 hasConceptScore W2948696358C33923547 @default.
- W2948696358 hasConceptScore W2948696358C35651441 @default.
- W2948696358 hasConceptScore W2948696358C41008148 @default.
- W2948696358 hasConceptScore W2948696358C41895202 @default.
- W2948696358 hasConceptScore W2948696358C48103436 @default.
- W2948696358 hasConceptScore W2948696358C56348326 @default.
- W2948696358 hasConceptScore W2948696358C72434380 @default.
- W2948696358 hasConceptScore W2948696358C75291252 @default.
- W2948696358 hasConceptScore W2948696358C80444323 @default.
- W2948696358 hasConceptScore W2948696358C94633896 @default.
- W2948696358 hasLocation W29486963581 @default.
- W2948696358 hasLocation W29486963582 @default.
- W2948696358 hasLocation W29486963583 @default.
- W2948696358 hasOpenAccess W2948696358 @default.
- W2948696358 hasPrimaryLocation W29486963581 @default.
- W2948696358 hasRelatedWork W1517543977 @default.
- W2948696358 hasRelatedWork W1546995467 @default.
- W2948696358 hasRelatedWork W1842616663 @default.
- W2948696358 hasRelatedWork W1868864221 @default.
- W2948696358 hasRelatedWork W2062081943 @default.
- W2948696358 hasRelatedWork W2106387547 @default.
- W2948696358 hasRelatedWork W2149299285 @default.
- W2948696358 hasRelatedWork W2149515428 @default.
- W2948696358 hasRelatedWork W2808633434 @default.
- W2948696358 hasRelatedWork W2970425440 @default.
- W2948696358 isParatext "false" @default.
- W2948696358 isRetracted "false" @default.
- W2948696358 magId "2948696358" @default.
- W2948696358 workType "book-chapter" @default.