Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.

Derek Egolf, Stavros Tripakis

Browse the full TACAS paper archive.