Approche algébrique pour la vérification de programmes

Nous désirons étudier la possibilité de faire de l’analyse de programmes en utilisant une approche algébrique. Plus précisément, on s’intéresse au problème de la comparaison de code : aborder ce problème nous permet, entre autres, d’identifier les différences entre deux versions d’un code ou de vérifier si un code optimisé est équivalent à sa version […]

Read More