Exploiting Synchrony and Symmetry in Relational Verification.

Lauren Pick, Grigory Fedyukovich, Aarti Gupta

Browse the full CAV paper archive.