Analyse statique par interprétation abstraite de la portabilité des programmes

2015-2019 Publications

• 2019
  • D. Delmas, A. Miné : “Analysis of Program Differences with Numerical Abstract Interpretation”, PERR 2019 - 3^rd Workshop on Program Equivalence and Relational Reasoning, Prague, Czech Republic (2019)
  • D. Delmas, A. Miné : “Analysis of Software Patches Using Numerical Abstract Interpretation”, 26^th International Symposium, vol. 11822, Lecture Notes in Computer Science, Porto, Portugal, pp. 225-246, (Springer) (2019)
• 2015
  • A. Miné, D. Delmas : “Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software”, ACM SIGBED International Conference on Embedded Software (EMSOFT), Amsterdam, Netherlands, pp. 65-74, (IEEE) (2015)