Learn More
We present new techniques for formally modeling arbitrary network topologies and control-ow schemes, applicable to high-speed networks. A novel induction technique suitable for process algebraic, nite-state machine techniques is described which can be used to verify end-to-end properties of certain arbitrarily conngured networks. We also present a formal(More)
  • 1