FRINK Linked Data Fragments server

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

• W2046131303 endingPage "358" @default.
• W2046131303 startingPage "341" @default.
• W2046131303 abstract "Consensus is at the heart of fault-tolerant distributed computing systems. Much research has been devoted to developing algorithms for this particular problem. This paper presents a semi-automatic verification approach for asynchronous consensus algorithms, aiming at facilitating their development. Our approach uses model checking, a widely practiced verification method based on state traversal. The challenge here is that the state space of these algorithms is huge, often infinite, thus making model checking infeasible. The proposed approach addresses this difficulty by reducing the verification problem to small model checking problems that involve only single phases of algorithm execution. Because a phase consists of a small, finite number of rounds, bounded model checking, a technique using satisfiability solving, can be effectively used to solve these problems. The proposed approach allows us to model check several consensus algorithms up to around 10 processes." @default.
• W2046131303 created "2016-06-24" @default.
• W2046131303 creator A5004506095 @default.
• W2046131303 creator A5036128325 @default.
• W2046131303 date "2010-11-27" @default.
• W2046131303 modified "2023-10-18" @default.
• W2046131303 title "Verification of consensus algorithms using satisfiability solving" @default.
• W2046131303 cites W1489391022 @default.
• W2046131303 cites W1495266209 @default.
• W2046131303 cites W1552280794 @default.
• W2046131303 cites W1572370356 @default.
• W2046131303 cites W1588792978 @default.
• W2046131303 cites W1681015847 @default.
• W2046131303 cites W1699048963 @default.
• W2046131303 cites W1819209966 @default.
• W2046131303 cites W1984340066 @default.
• W2046131303 cites W1995151557 @default.
• W2046131303 cites W2003214215 @default.
• W2046131303 cites W2035362408 @default.
• W2046131303 cites W2055705670 @default.
• W2046131303 cites W2075854425 @default.
• W2046131303 cites W2096247846 @default.
• W2046131303 cites W2115309705 @default.
• W2046131303 cites W2119091865 @default.
• W2046131303 cites W2124156934 @default.
• W2046131303 cites W2125967324 @default.
• W2046131303 cites W2131848219 @default.
• W2046131303 cites W2133943294 @default.
• W2046131303 cites W2146983599 @default.
• W2046131303 cites W2150990538 @default.
• W2046131303 cites W2152262240 @default.
• W2046131303 cites W2155037890 @default.
• W2046131303 cites W2155162307 @default.
• W2046131303 cites W2155504202 @default.
• W2046131303 cites W2165883216 @default.
• W2046131303 cites W2912556876 @default.
• W2046131303 cites W3100217861 @default.
• W2046131303 cites W4205223426 @default.
• W2046131303 cites W4300021588 @default.
• W2046131303 doi "https://doi.org/10.1007/s00446-010-0123-3" @default.
• W2046131303 hasPublicationYear "2010" @default.
• W2046131303 type Work @default.
• W2046131303 sameAs 2046131303 @default.
• W2046131303 citedByCount "31" @default.
• W2046131303 countsByYear W20461313032012 @default.
• W2046131303 countsByYear W20461313032013 @default.
• W2046131303 countsByYear W20461313032014 @default.
• W2046131303 countsByYear W20461313032015 @default.
• W2046131303 countsByYear W20461313032016 @default.
• W2046131303 countsByYear W20461313032017 @default.
• W2046131303 countsByYear W20461313032018 @default.
• W2046131303 countsByYear W20461313032019 @default.
• W2046131303 countsByYear W20461313032020 @default.
• W2046131303 countsByYear W20461313032021 @default.
• W2046131303 countsByYear W20461313032022 @default.
• W2046131303 countsByYear W20461313032023 @default.
• W2046131303 crossrefType "journal-article" @default.
• W2046131303 hasAuthorship W2046131303A5004506095 @default.
• W2046131303 hasAuthorship W2046131303A5036128325 @default.
• W2046131303 hasBestOaLocation W20461313032 @default.
• W2046131303 hasConcept C105795698 @default.
• W2046131303 hasConcept C107107730 @default.
• W2046131303 hasConcept C110251889 @default.
• W2046131303 hasConcept C111498074 @default.
• W2046131303 hasConcept C11413529 @default.
• W2046131303 hasConcept C134306372 @default.
• W2046131303 hasConcept C140745168 @default.
• W2046131303 hasConcept C151319957 @default.
• W2046131303 hasConcept C154945302 @default.
• W2046131303 hasConcept C168773769 @default.
• W2046131303 hasConcept C30888246 @default.
• W2046131303 hasConcept C31258907 @default.
• W2046131303 hasConcept C33923547 @default.
• W2046131303 hasConcept C34388435 @default.
• W2046131303 hasConcept C41008148 @default.
• W2046131303 hasConcept C41550386 @default.
• W2046131303 hasConcept C48103436 @default.
• W2046131303 hasConcept C6943359 @default.
• W2046131303 hasConcept C72434380 @default.
• W2046131303 hasConcept C80444323 @default.
• W2046131303 hasConceptScore W2046131303C105795698 @default.
• W2046131303 hasConceptScore W2046131303C107107730 @default.
• W2046131303 hasConceptScore W2046131303C110251889 @default.
• W2046131303 hasConceptScore W2046131303C111498074 @default.
• W2046131303 hasConceptScore W2046131303C11413529 @default.
• W2046131303 hasConceptScore W2046131303C134306372 @default.
• W2046131303 hasConceptScore W2046131303C140745168 @default.
• W2046131303 hasConceptScore W2046131303C151319957 @default.
• W2046131303 hasConceptScore W2046131303C154945302 @default.
• W2046131303 hasConceptScore W2046131303C168773769 @default.
• W2046131303 hasConceptScore W2046131303C30888246 @default.
• W2046131303 hasConceptScore W2046131303C31258907 @default.
• W2046131303 hasConceptScore W2046131303C33923547 @default.
• W2046131303 hasConceptScore W2046131303C34388435 @default.
• W2046131303 hasConceptScore W2046131303C41008148 @default.
• W2046131303 hasConceptScore W2046131303C41550386 @default.
• W2046131303 hasConceptScore W2046131303C48103436 @default.
• W2046131303 hasConceptScore W2046131303C6943359 @default.

• next