Methods of Formal Software Verification in the Context of Distributed Systems.

Anna Fatkina Oleg Iakushkin Dmitry Selivanov Vladimir Korkhov

Published in: ICCSA (2) (2019)

Keyphrases

distributed systems
fault tolerant
distributed environment
fault tolerance
database systems
load balancing