NV: An Intermediate Language for Verification of Network Control Planes

A software artifact from Princeton University, authored by Nick Giannarakis, associated with a paper on network verification. The dataset likely contains text or code related to an intermediate language designed for verifying network control planes. Metadata is minimal; the specific content, size, and structure require verification after download.

Use Cases

• Benchmarking formal verification tools on network configurations (inferred from domain, verify after download)
• Developing or testing intermediate representations for network analysis (inferred from domain, verify after download)
• Training models for automated network property checking (inferred from domain, verify after download)

Strengths

• Published on the paperswithcode platform.
• Associated with research from Princeton University.

Limitations

• Metadata is minimal; actual content requires verification after download.
• License is listed as 'closed', which may restrict usage.
• Row count, file formats, and sample data are unknown.

Provenance

Source

Nick Giannarakis, Princeton University

Collection Method

Likely created as a research artifact for a published paper.

Time Range

null

Freshness

Last updated date is unknown.

Geography

null