A Modular Framework for Verifying Versatile Distributed Systems.

Florent Chevrou Aurélie Hurault Philippe Quéinnec

Published in: HPCS (2018)

Keyphrases

distributed systems
fault tolerant
software architecture
distributed environment
load balancing
fault tolerance
distributed computing
artificial intelligence
message passing
geographically distributed
database
model checking
conceptual framework
distributed database systems
modular robots