Formally Verifiable Networking.

Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu

Browse the full HOTNETS paper archive.