RNV-RL: Relational Network Verification using Reinforcement Learning

2026-04-07

0

PRE

AI

DOI：10.1016/j.jnca.2026.104486

原文求助

摘要

En 中文

现代网络需要频繁的控制平面变更，这使得分析变更前后网络配置之间的差异和相似性（即关系）以及识别受影响的规范变得具有挑战性。关系网络验证有效克服了这些问题。然而，现有工具仍然存在一些局限性，包括半自动化、验证时间过长、可扩展性差和表达能力有限。

Keyword:

Relational Network Verification

Reinforcement Learning

Network Configuration Analysis

Scalability

Automation