10 citations · 11 across the 3 of their papers we have counts for
1 paper · 2 filters
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…