On the formal specification and verification of network routing algorithms.

Jim Davies, Matt Wallis

Browse the full FORTE paper archive.