Automated Verification of Network Function Binaries.

Solal Pirelli Akvile Valentukonyte Katerina J. Argyraki George Candea

Published in: NSDI (2022)

Keyphrases

automated verification
network structure
model checking
network traffic
network model
peer to peer
knowledge representation
network management
network design
automated reasoning
network topologies
complex networks
machine learning
community structure
optimal solution
data flow
knowledge base