NetKAT - A Formal System for the Verification of Networks.

Dexter Kozen

Browse the full APLAS paper archive.