David A. Naumann Anindya Banerjee & Mohammad Nikouei (2016):
Relational Logic with Framing and Hypotheses.
In: FSTTCS,
doi:10.4230/LIPIcs.FSTTCS.2016.11.
John D. Backes, Suzette Person, Neha Rungta & Oksana Tkachuk (2013):
Regression Verification Using Impact Summaries.
In: SPIN,
doi:10.1007/978-3-642-39176-7_7.
Gilles Barthe, Juan Manuel Crespo & César Kunz (2011):
Relational Verification Using Product Programs.
In: FM,
doi:10.1007/978-3-642-21437-0_17.
Gilles Barthe, Juan Manuel Crespo & César Kunz (2013):
Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification.
In: LNCS,
doi:10.1007/978-3-642-35722-0_3.
Gilles Barthe, Juan Manuel Crespo & César Kunz (2016):
Product Programs and Relational Program Logics.
In: JLAMP,
doi:10.1016/j.jlamp.2016.05.004.
Gilles Barthe, Pedro R. D'Argenio & Tamara Rezk (2004):
Secure Information Flow by Self-Composition.
In: CSFW-17,
doi:10.1017/S0960129511000193.
Nikolaj Bjørner, Kenneth L. McMillan & Andrey Rybalchenko (2013):
On Solving Universally Quantified Horn Clauses.
In: SAS,
doi:10.1007/978-3-642-38856-9_8.
Marcel Böhme, Bruno C. d. S. Oliveira & Abhik Roychoudhury (2013):
Partition-based regression verification.
In: ICSE,
doi:10.1109/ICSE.2013.6606576.
Alberto Pettorossi Emanuele De Angelis, Fabio Fioravanti & Maurizio Proietti (2016):
Verifying Relational Program Properties by Transforming Constrained Horn Clauses.
In: CILC.
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer & Mattias Ulbrich (2014):
Automating regression verification.
In: ASE,
doi:10.1145/2642937.2642987.
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri & Henrique Rebêlo (2013):
Towards Modularly Comparing Programs Using Automated Theorem Provers.
In: CADE-24,
doi:10.1007/978-3-642-38574-2_20.
(2016):
LeetCode Online Judge.
https://leetcode.com/.
Accessed: 2015 Nov 16.
Nuno P. Lopes & José Monteiro (2016):
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.
STTT 18(4),
doi:10.1007/s10009-015-0366-1.
Mattias Ulbrich Moritz Kiefer, Vladimir Klevanov (2016):
Relational Program Reasoning Using Compiler IR.
In: VSTTE,
doi:10.1007/s10817-017-9433-5.
Lauren Pick, Grigory Fedyukovich & Aartic Gupta (2018):
Exploiting Synchrony and Symmetry in Relational Verification.
In: CAV,
doi:10.1007/978-3-319-96145-3_9.
Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cǎtǎlin Hriţcu, Vilhelm Sjöberg & Brent Yorgey (2018):
Logical Foundations.
Software Foundations series, volume 1.
Electronic textbook.
Version 5.5. http://www.cis.upenn.edu/~bcpierce/sf.