EasyChair Smart Slide
Exploiting Synchrony and Symmetry in Relational Verification
Exploiting Synchrony and Symmetry in Relational Verification