C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
GRooT: Proactive Verification of DNS Configurations.
Siva Kesava Reddy Kakarla
Ryan Beckett
Behnaz Arzani
Todd D. Millstein
George Varghese
Published in:
SIGCOMM (2020)
Keyphrases
</>
model checking
load balancing
face verification
formal analysis
modular robots
agent teamwork
data sets
data mining
search engine
decision trees
digital libraries
artificial neural networks
information exchange
concurrent systems