Mahjong: A Generic Framework for Network Data Plane Verification.

Yifan Li Chengjun Jia Xiaohe Hu Jun Li

Published in: ANCS (2021)

Keyphrases

model checking
three dimensional
face verification
signature verification
databases
neural network
face recognition
formal verification
real time
machine learning
artificial intelligence
bayesian networks
ground plane
verification method
functional verification