Login / Signup
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.
Ilina Stoilkovska
Igor Konnov
Josef Widder
Florian Zuleger
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
model checking
load balancing
bounded model checking
general purpose
high availability
data structure
safety critical
orders of magnitude
mobile agents
interconnection networks