Verification of threshold-based distributed algorithms by decomposition to decidable logics

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

Mathematics Subject Classification ID

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