LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies

Zihan Tang, Huibiao Zhu

Protocol specifications rarely justify executable behavior in one place: a transition may inherit its source state from a remote control block, name its events only by number, and…