SOFTWARE & SYSTEMS

Enterprise network verification (Batfish)

Task and verification

Verify enterprise BGP, OSPF, VLAN, and ACL routing configurations. Formal symbolic reachability checks prove no route leaks, black holes, or unauthorized subnets exist.

Tools and runtime

Batfish network analyzer + formal symbolic reachability

OPENENV / BATFISH

#networking#batfish#bgp#formal-verification

Plan a training run

Check the environment’s availability, compatible models and compute in Studio. A catalog entry does not guarantee that hosted training is enabled for your workspace.

Open Studio Discuss this gym