A methodology for verifying request processing protocols.

Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman

Browse the full SIGCOMM paper archive.