Heracles: A Novel State-based Distributed Verification Framework for DNS Configurations.

Kaiqiang Hu Haizhou Du Yao Wang

Published in: FMANO@SIGCOMM (2024)

Keyphrases

lightweight
main contribution
cooperative
information retrieval
multi agent
distributed systems
theoretical framework
neural network
real world
model checking
fault tolerant