NetVerifier: Scalable Verification for Programmable Networks

Computers, materials & continua/Computers, materials & continua (Print) 2026 Open access

Read full text
Authors: Ying Yao, Le Tian, Yuxiang Hu, Pengshuai Cui
DOI: 10.32604/cmc.2026.075747
Cited by: 0

Abstract

In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior, security incidents caused by human logic errors are seriously threatening their safe op... | Find, read and cite all the research you need on Tech Science Press

Fields of Study & Subjects

Software-Defined Networks and 5G Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
Computers, materials & continua/Computers, materials & continua (Print)
Volume
87
Issue
2
Pages
1–10
Publication date
1 January 2026
Language
EN