Formalisation d'un vérificateur efficace d'assertions arithmétiques à l'exécution

Autor: Benjamin, Thibaut, Ridoux, Félix, Signoles, Julien

Publikováno v: JFLA 2022-Journées Francophones des Langages Applicatifs
JFLA 2022-Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France
Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.24-41

International audience; La vérification d’assertions à l’exécution est une technique consistant à vérifier la validité d’annotations formelles pendant l’exécution d’un programme. Bien qu’ancienne, cette technique reste encore peu �

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9afa4055658b11007fa6107a4e36d683
https://cea.hal.science/cea-04060700/file/2022_jfla.pdf