Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.

Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi

Browse the full FMCAD paper archive.