@inproceedings{blatter:cea-01808885, TITLE = {{RPP: Automatic proof of relational properties by self-composition}}, AUTHOR = {Blatter, L. and Kosmatov, N. and Le Gall, P. and Prevosto, V.}, URL = {https://cea.hal.science/cea-01808885}, NOTE = {Conference of 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Conference Date: 22 April 2017 Through 29 April 2017; Conference Code:190569}, BOOKTITLE = {{TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems}}, ADDRESS = {Uppsala, Sweden}, VOLUME = {10205 LNCS}, PAGES = {391-397}, YEAR = {2017}, MONTH = Apr, DOI = {10.1007/978-3-662-54577-5\_22}, KEYWORDS = {Program execution ; Relational properties ; C (programming language) ; Cosine transforms ; Automatic proofs ; Code transformation ; Deductive verification ; Other properties ; Specification and verification ; Theoretical approach}, HAL_ID = {cea-01808885}, HAL_VERSION = {v1}, }