Formally verifiable networking (2009)

by A Wang, L Jia, C Liu, B T Loo, O Sokolsky, P Basu
Venue:in HotNets, ACM Sigcomm