The simulation of very large networks requires modeling approaches
that are more abstract than the packet-oriented one standard among
most commonly used simulators.  Examples include use of flow
models to describe traffic, and on-demand computation of BGP routes
through Autonomous Systems.  This talk describes some of these optimizations,
the work we've done to validate modeled network behavior  using them,
and open problems.