Strawman #1: Simulation


Observation:
If a routing system converges to a unique outcome, the outcome is independent of the order that routers exchange messages and select paths.

Advantages
Time ordering of messages does not affect outcome.
Simulation will arrive at correct answer.
Disadvantages
Operators must know outcomes, not dynamics.
Many possible message orderings: potentially slow.  

Simulation: Accurate, but slow.