针对上述局限性，本项目提出了一种控制平面快速高效仿真验证技术，既具有高计算效率与高可调试性，又支持不确定情况的高效验证。该技术基于路由代数与抽象解释，对分布式网络的大量复杂细节进行精确压缩与抽象，从而实现准确高效的控制平面全量模拟，并使得生成的数据平面能够支持对不确定性情况的高效验证，提高控制平面验证效率。 

本项目基于Batfish开源社区进行了原型实现与测试，在公开的多个大规模网络数据集上进行的实验结果表明，与目前最先进的控制平面仿真验证技术相比，该原型系统将平均仿真时间缩短了1-2个数量级。