2 papers
cs.NI2025
Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis
Tomoya Fujita, Hikofumi Suzuki, Shinpei Ogata +3
In the network design phase, designers typically assess the validity of the network configuration on paper. However, the interactions between devices based on network protocols can…
cs.NI2025
A Method to Automatically Extract a Network Device Configuration Model by Parsing Network Device Configurations
Kosei Nakamura, Hikofumi Suzuki, Shinpei Ogata +3
When network engineers design a network, they need to verify the validity of their design in a test environment. Since testing on actual equipment is expensive and burdensome for e…