Exploiting Synchrony and Symmetry in Relational Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-96145-3_9 ◽

2018 ◽

pp. 164-182 ◽

Author(s):

Lauren Pick ◽

Grigory Fedyukovich ◽

Aarti Gupta

Download Full-text