Login / Signup
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.
Ilina Stoilkovska
Igor Konnov
Josef Widder
Florian Zuleger
Published in:
TACAS (2) (2019)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
orders of magnitude
interconnection networks
bounded model checking
data structure
safety critical
state machine
cooperative
digital libraries
heuristic search
distributed databases
high availability