Verification of threshold-based distributed algorithms by decomposition to decidable logics
From MaRDI portal
Publication:6154883
DOI10.1007/978-3-030-25543-5_15arXiv1905.07805MaRDI QIDQ6154883
Sharon Shoham, Idan Berkovits, Marijana Lazić, Giuliano Losa, Oded Padon
Publication date: 16 February 2024
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.07805
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Distributed algorithms (68W15)
Related Items (2)
Stratified guarded first-order transition systems ⋮ Efficient automated reasoning about sets and multisets with cardinality constraints
This page was built for publication: Verification of threshold-based distributed algorithms by decomposition to decidable logics