.png){kind=icon}
.png){kind=icon}
Return
AssertGPT: LLM-driven assertion generation for programmable networks verification
.png){kind=icon}
PRE
AI
DOI：10.1016/j.comcom.2026.108508.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
The dynamic and complex nature of programmable networks necessitates rigorous verification to ensure that their actual operational behavior aligns with the intended design specifications, preventing costly misconfigurations, performance bottlenecks, and security vulnerabilities. Assertion-based Verification (ABV) is crucial for achieving this goal. However, current ABV efforts rely on manual assertion generation, which prolongs verification cycles and introduces deployment barriers due to its labor intensity, limiting their scalability in practical implementations. While Large Language Models (LLMs) have demonstrated transformative potential in automating engineering tasks with their excellent natural language understanding, their application to network verification remains underexplored.
Keywords:
programmable networks
assertion-based verification
large language models
network verification
automated assertion generation
Journal
IF:
4.3
Papers:
547
Citations:
1.1W