@Inproceedings{EPTCS296.6, author = {Zhou, Qi and Heath, David and Harris, William}, year = {2019}, title = {Relational Verification via Invariant-Guided Synchronization}, editor = {De Angelis, Emanuele and Fedyukovich, Grigory and Tzevelekos, Nikos and Ulbrich, Mattias}, booktitle = {{\rm Proceedings of the Sixth Workshop on} Horn Clauses for Verification and Synthesis {\rm and Third Workshop on} Program Equivalence and Relational Reasoning, {\rm Prague, Czech Republic, 6-7th April 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {296}, publisher = {Open Publishing Association}, pages = {28-41}, doi = {10.4204/EPTCS.296.6}, }