| ||||
| ||||
![]() Title:Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction Authors:Ilina Stoilkovska Conference:FRIDA 2018 Tags:abstraction, distributed algorithms, model checking and parameterized verification Abstract: Parameterized verification of fault-tolerant distributed algorithms has recently gained more and more attention. Most of the existing work considers asynchronous distributed systems (interleaving semantics). However, there exists a considerable distributed computing literature on synchronous fault-tolerant distributed algorithms: conceptually, all processes proceed in lock-step rounds, that is, synchronized steps of all (correct) processes bring the system into the next state. Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction ![]() Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | ||||
Copyright © 2002 – 2025 EasyChair |