10 citations · 11 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
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…
cs.DC2024
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
William Schultz, Edward Ashton, Heidi Howard +1
Many techniques for the automated verification of distributed protocols have been developed over the past several years, but their performance is still unpredictable and their fail…