Secure information flow by self-composition, Mathematical Structures in Computer Science, vol.4, issue.06, pp.1207-1252, 2011. ,
DOI : 10.1145/5397.5399
WP Plugin Manual v1, 2017. ,
ACSL : ANSI/ISO C Specification Language ,
RPP: Automatic Proof of Relational Properties by Self-composition, Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.391-397, 2017. ,
DOI : 10.1093/comjnl/25.4.465
URL : https://hal.archives-ouvertes.fr/cea-01808885
Static and Dynamic Verification of Relational Properties on Self-composed C Code, Proceedings of the 12th Conference on Tests and Proofs, 2018. ,
DOI : 10.1145/3092255.3092269
URL : https://hal.archives-ouvertes.fr/cea-01835470
Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, pp.34-40, 2003. ,
DOI : 10.1109/CMPSAC.2003.1245319
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, 1969. ,
Foundations of Algebraic Specification and Formal Software Development, (2012) Approches Formelles dans l'Assistance au Développement de Logiciels ? AFADL'18 ,
DOI : 10.1007/978-3-642-17336-3