Verification of Distributed Systems via Sequential Emulation.

Luca Di Stefano Rocco De Nicola Omar Inverso

Published in: ACM Trans. Softw. Eng. Methodol. (2022)

Keyphrases

distributed systems
concurrent systems
fault tolerant
load balancing
distributed environment
fault tolerance
message passing
distributed computing
operating system
geographically distributed
data replication
high assurance
model checking
loosely coupled
distributed database systems
real time systems
mobile agents