TY  - RPRT
TI  - Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification
AU  - Shenshen Chen
AU  - Jian Luo
AU  - Dong Guo
AU  - Kai Gao
AU  - Yang Richard Yang
PY  - 2025
UR  - https://arxiv.org/abs/2401.13488
ID  - 2401.13488
ER  -