Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312941007> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4312941007 endingPage "133765" @default.
- W4312941007 startingPage "133749" @default.
- W4312941007 abstract "We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as φ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1</sub> ⇝ □ φ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sub> , where φ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1</sub> and φ <sub xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>2</sub> are state propositions. The properties can be used to formalize desired properties that self-stabilizing systems should satisfy. Self-stabilization in distributed systems was first introduced by Dijkstra and became a very crucial concept in fault tolerance to design robust systems. However, designing self-stabilizing systems need much more effort than non-stabilizing ones because the former are subject to transient errors at any time. Therefore, it is worth dedicating to conditional stable properties. In this paper, we report a sequential tool and a parallel technique/tool for the divide & conquer approach to conditional stable model checking. Some experiments are also conducted showing that our sequential and parallel tools can ease the state space explosion and improve the running performance of model checking for conditional stable properties to a certain scope, respectively." @default.
- W4312941007 created "2023-01-05" @default.
- W4312941007 creator A5030173635 @default.
- W4312941007 creator A5073293052 @default.
- W4312941007 creator A5023981175 @default.
- W4312941007 date "2022-01-01" @default.
- W4312941007 modified "2023-10-12" @default.
- W4312941007 title "Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way" @default.
- W4312941007 cites W1495266209 @default.
- W4312941007 cites W1544533039 @default.
- W4312941007 cites W1548575501 @default.
- W4312941007 cites W1552280794 @default.
- W4312941007 cites W1819209966 @default.
- W4312941007 cites W1999288406 @default.
- W4312941007 cites W2001487918 @default.
- W4312941007 cites W2006766139 @default.
- W4312941007 cites W2035939573 @default.
- W4312941007 cites W2069278684 @default.
- W4312941007 cites W2080593426 @default.
- W4312941007 cites W2097974511 @default.
- W4312941007 cites W2111132249 @default.
- W4312941007 cites W2115309705 @default.
- W4312941007 cites W2127574686 @default.
- W4312941007 cites W2153822668 @default.
- W4312941007 cites W2795417873 @default.
- W4312941007 cites W2912640545 @default.
- W4312941007 cites W2913689616 @default.
- W4312941007 cites W2999366812 @default.
- W4312941007 cites W3035864434 @default.
- W4312941007 cites W3131295140 @default.
- W4312941007 cites W3174475612 @default.
- W4312941007 cites W3194738359 @default.
- W4312941007 cites W3201217042 @default.
- W4312941007 cites W4200023749 @default.
- W4312941007 cites W4288540378 @default.
- W4312941007 cites W4312829551 @default.
- W4312941007 cites W61606928 @default.
- W4312941007 doi "https://doi.org/10.1109/access.2022.3230844" @default.
- W4312941007 hasPublicationYear "2022" @default.
- W4312941007 type Work @default.
- W4312941007 citedByCount "1" @default.
- W4312941007 countsByYear W43129410072023 @default.
- W4312941007 crossrefType "journal-article" @default.
- W4312941007 hasAuthorship W4312941007A5023981175 @default.
- W4312941007 hasAuthorship W4312941007A5030173635 @default.
- W4312941007 hasAuthorship W4312941007A5073293052 @default.
- W4312941007 hasBestOaLocation W43129410071 @default.
- W4312941007 hasConcept C105795698 @default.
- W4312941007 hasConcept C110251889 @default.
- W4312941007 hasConcept C11413529 @default.
- W4312941007 hasConcept C154945302 @default.
- W4312941007 hasConcept C33923547 @default.
- W4312941007 hasConcept C41008148 @default.
- W4312941007 hasConcept C48103436 @default.
- W4312941007 hasConcept C71559656 @default.
- W4312941007 hasConcept C72434380 @default.
- W4312941007 hasConcept C80444323 @default.
- W4312941007 hasConceptScore W4312941007C105795698 @default.
- W4312941007 hasConceptScore W4312941007C110251889 @default.
- W4312941007 hasConceptScore W4312941007C11413529 @default.
- W4312941007 hasConceptScore W4312941007C154945302 @default.
- W4312941007 hasConceptScore W4312941007C33923547 @default.
- W4312941007 hasConceptScore W4312941007C41008148 @default.
- W4312941007 hasConceptScore W4312941007C48103436 @default.
- W4312941007 hasConceptScore W4312941007C71559656 @default.
- W4312941007 hasConceptScore W4312941007C72434380 @default.
- W4312941007 hasConceptScore W4312941007C80444323 @default.
- W4312941007 hasFunder F4320334764 @default.
- W4312941007 hasLocation W43129410071 @default.
- W4312941007 hasOpenAccess W4312941007 @default.
- W4312941007 hasPrimaryLocation W43129410071 @default.
- W4312941007 hasRelatedWork W1572578464 @default.
- W4312941007 hasRelatedWork W1828963152 @default.
- W4312941007 hasRelatedWork W1974155069 @default.
- W4312941007 hasRelatedWork W2106934209 @default.
- W4312941007 hasRelatedWork W2149299285 @default.
- W4312941007 hasRelatedWork W2275271575 @default.
- W4312941007 hasRelatedWork W2493800215 @default.
- W4312941007 hasRelatedWork W3158759410 @default.
- W4312941007 hasRelatedWork W4205778860 @default.
- W4312941007 hasRelatedWork W895230556 @default.
- W4312941007 hasVolume "10" @default.
- W4312941007 isParatext "false" @default.
- W4312941007 isRetracted "false" @default.
- W4312941007 workType "article" @default.