LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies.

arXiv:2610.14552v1 Announce Type: cross Abstract: 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 remain subject to a later corr