FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313563599> ?p ?o ?g. }

• W4313563599 abstract "Thread alternation aggravates the difficulty of concurrent program verification since the number of traces to be explored grows rapidly as the scale of a concurrent program increases. Partial-Order Reduction (POR) techniques alleviate the trace-space explosion problem by partitioning the traces into different equivalent classes. However, due to the coarse dependency approximation of transitions, there are still a large number of redundant traces explored throughout the verification. In this paper, a symbolic approach, namely Prioritized Constraint-Aided Dynamic Partial-Order Reduction (PC-DPOR), is proposed to reduce the redundant traces. Specifically, a constrained dependency graph is presented to refine dependencies between transitions, and the exploration of isolated transitions in the graph is prioritized to reduce redundant equivalent traces. Further, we utilize the generated constraints to dynamically detect whether the enabled transitions at the given reachable states are dependent, and thereby to overcome the inherent imprecision of the traditional dependence over-approximation. We have implemented the proposed approach as an extension of CPAchecker by utilizing BDDs as the representation of state sets. Experimental results show that our approach can effectively reduce the time and memory consumption for verifying concurrent programs. In particular, the number of explored states is reduced to 8.62% on average." @default.
• W4313563599 created "2023-01-06" @default.
• W4313563599 creator A5003990194 @default.
• W4313563599 creator A5017790992 @default.
• W4313563599 creator A5020586569 @default.
• W4313563599 creator A5057921312 @default.
• W4313563599 creator A5071051896 @default.
• W4313563599 creator A5091891691 @default.
• W4313563599 date "2022-10-10" @default.
• W4313563599 modified "2023-10-12" @default.
• W4313563599 title "Prioritized Constraint-Aided Dynamic Partial-Order Reduction" @default.
• W4313563599 cites W1452568986 @default.
• W4313563599 cites W1493367105 @default.
• W4313563599 cites W1503170978 @default.
• W4313563599 cites W1528441743 @default.
• W4313563599 cites W1549714654 @default.
• W4313563599 cites W1819209966 @default.
• W4313563599 cites W1967993207 @default.
• W4313563599 cites W1999288406 @default.
• W4313563599 cites W2008078972 @default.
• W4313563599 cites W2023408771 @default.
• W4313563599 cites W2061438988 @default.
• W4313563599 cites W2127574686 @default.
• W4313563599 cites W2134326845 @default.
• W4313563599 cites W2161253570 @default.
• W4313563599 cites W2162630235 @default.
• W4313563599 cites W2169870841 @default.
• W4313563599 cites W2767836794 @default.
• W4313563599 cites W2786247985 @default.
• W4313563599 cites W2885205415 @default.
• W4313563599 cites W3016370218 @default.
• W4313563599 cites W3194810227 @default.
• W4313563599 cites W4226083129 @default.
• W4313563599 cites W4237492309 @default.
• W4313563599 doi "https://doi.org/10.1145/3551349.3561159" @default.
• W4313563599 hasPublicationYear "2022" @default.
• W4313563599 type Work @default.
• W4313563599 citedByCount "1" @default.
• W4313563599 countsByYear W43135635992023 @default.
• W4313563599 crossrefType "proceedings-article" @default.
• W4313563599 hasAuthorship W4313563599A5003990194 @default.
• W4313563599 hasAuthorship W4313563599A5017790992 @default.
• W4313563599 hasAuthorship W4313563599A5020586569 @default.
• W4313563599 hasAuthorship W4313563599A5057921312 @default.
• W4313563599 hasAuthorship W4313563599A5071051896 @default.
• W4313563599 hasAuthorship W4313563599A5091891691 @default.
• W4313563599 hasBestOaLocation W43135635991 @default.
• W4313563599 hasConcept C110251889 @default.
• W4313563599 hasConcept C111335779 @default.
• W4313563599 hasConcept C11413529 @default.
• W4313563599 hasConcept C115903868 @default.
• W4313563599 hasConcept C120314980 @default.
• W4313563599 hasConcept C132525143 @default.
• W4313563599 hasConcept C138101251 @default.
• W4313563599 hasConcept C138885662 @default.
• W4313563599 hasConcept C16311509 @default.
• W4313563599 hasConcept C193702766 @default.
• W4313563599 hasConcept C19768560 @default.
• W4313563599 hasConcept C199360897 @default.
• W4313563599 hasConcept C2524010 @default.
• W4313563599 hasConcept C26826806 @default.
• W4313563599 hasConcept C33923547 @default.
• W4313563599 hasConcept C41008148 @default.
• W4313563599 hasConcept C41895202 @default.
• W4313563599 hasConcept C80444323 @default.
• W4313563599 hasConcept C94633896 @default.
• W4313563599 hasConceptScore W4313563599C110251889 @default.
• W4313563599 hasConceptScore W4313563599C111335779 @default.
• W4313563599 hasConceptScore W4313563599C11413529 @default.
• W4313563599 hasConceptScore W4313563599C115903868 @default.
• W4313563599 hasConceptScore W4313563599C120314980 @default.
• W4313563599 hasConceptScore W4313563599C132525143 @default.
• W4313563599 hasConceptScore W4313563599C138101251 @default.
• W4313563599 hasConceptScore W4313563599C138885662 @default.
• W4313563599 hasConceptScore W4313563599C16311509 @default.
• W4313563599 hasConceptScore W4313563599C193702766 @default.
• W4313563599 hasConceptScore W4313563599C19768560 @default.
• W4313563599 hasConceptScore W4313563599C199360897 @default.
• W4313563599 hasConceptScore W4313563599C2524010 @default.
• W4313563599 hasConceptScore W4313563599C26826806 @default.
• W4313563599 hasConceptScore W4313563599C33923547 @default.
• W4313563599 hasConceptScore W4313563599C41008148 @default.
• W4313563599 hasConceptScore W4313563599C41895202 @default.
• W4313563599 hasConceptScore W4313563599C80444323 @default.
• W4313563599 hasConceptScore W4313563599C94633896 @default.
• W4313563599 hasFunder F4320334062 @default.
• W4313563599 hasFunder F4320335777 @default.
• W4313563599 hasLocation W43135635991 @default.
• W4313563599 hasOpenAccess W4313563599 @default.
• W4313563599 hasPrimaryLocation W43135635991 @default.
• W4313563599 hasRelatedWork W1523442991 @default.
• W4313563599 hasRelatedWork W1545972740 @default.
• W4313563599 hasRelatedWork W1546995467 @default.
• W4313563599 hasRelatedWork W1573151257 @default.
• W4313563599 hasRelatedWork W1791159949 @default.
• W4313563599 hasRelatedWork W1868864221 @default.
• W4313563599 hasRelatedWork W1965309410 @default.
• W4313563599 hasRelatedWork W1973954352 @default.
• W4313563599 hasRelatedWork W2462966030 @default.
• W4313563599 hasRelatedWork W2906490148 @default.

• next