Efficient Synthesis of Symbolic Distributed Protocols by Sketching.

Derek Egolf, William Schultz, Stavros Tripakis

Browse the full FMCAD paper archive.