@inproceedings{blatter:cea-03768250, TITLE = {{An efficient VCGen-based modular verification of relational properties}}, AUTHOR = {Blatter, Lionel and Kosmatov, Nikolai and Prevosto, V. and Le Gall, Pascale}, URL = {https://cea.hal.science/cea-03768250}, BOOKTITLE = {{ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation}}, ADDRESS = {Rhodes, Greece}, YEAR = {2022}, MONTH = Oct, PDF = {https://cea.hal.science/cea-03768250/file/Relational_Properties_Papers.pdf}, HAL_ID = {cea-03768250}, HAL_VERSION = {v1}, }