Efficient Synthesis of Symbolic Distributed Protocols by Sketching

Derek Egolf, William Schultz, Stavros Tripakis

We present a novel and efficient method for synthesis of parameterized distributed protocols by sketching. Our method is both syntax-guided and counterexample-guided, and utilizes…