Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems.

Christopher Wagner Nouraldin Jaber Roopsha Samanta

Published in: CoRR (2022)

Keyphrases

distributed systems
formal methods
knowledge based systems
distributed object
highly distributed
distributed computation
open systems
distributed environment
learning systems
building blocks
database
intelligent systems
cooperative
multi agent
face recognition
data mining
databases
real time