Model Checking for Flexible Network Protocols.

Andrew Johnson, Dennis Fetterly, Sean Song, Jonathan Zolla

Browse the full CAV paper archive.