Runtime Protocol Refinement Checking for Distributed Protocol Implementations.

Ding Ding, Zhanghan Wang, Jinyang Li, Aurojit Panda

Browse the full NSDI paper archive.