Challenges in Fault-Tolerant Distributed Runtime Verification.

Borzoo Bonakdarpour Pierre Fraigniaud Sergio Rajsbaum Corentin Travers

Published in: ISoLA (2) (2016)

Keyphrases

fault tolerant
distributed systems
fault tolerance
state machine
load balancing
high assurance
distributed environment
safety critical
model checking
high availability
distributed computing
interconnection networks
message passing