From 7efede94c5029882d03f2bdff236132f30e73c75 Mon Sep 17 00:00:00 2001 From: Maliach-Auguste <romain.maliach-auguste@cea.fr> Date: Thu, 22 Oct 2020 10:58:51 +0200 Subject: [PATCH] small typo (publi chameau 2014) --- _fc-publications/general/0-2014-jfla-s.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_fc-publications/general/0-2014-jfla-s.md b/_fc-publications/general/0-2014-jfla-s.md index 61c2b077..a7b95403 100644 --- a/_fc-publications/general/0-2014-jfla-s.md +++ b/_fc-publications/general/0-2014-jfla-s.md @@ -8,4 +8,4 @@ category: kernel short: "In French. Presentation of the journalization mechanism of Frama-C." --- -Dans Frama-C, plate-forme d'analyse de code C développée en OCaml, un journal est un script OCaml généré automatiquement et permettant de reproduire les actions utilisateurs, notamment eectuées via l'interface utilisateur. Outre la reproductibilité des résultats qui est nécessaire dans un contexte industriel soumis à des exigences de certication fortes comme la norme avionique DO-178C, un journal permet d'automatiser le pilotage de l'outil dans un contexte d'utilisation particulier. Cet article présente comment le mécanisme de génération du journal de Frama-C, appelé journalisation et requérant intrinsèquement de l'introspection, a été développé en OCaml, en combinant typage statique et dynamique. \ No newline at end of file +Dans Frama-C, plate-forme d'analyse de code C développée en OCaml, un journal est un script OCaml généré automatiquement et permettant de reproduire les actions utilisateurs, notamment effectuées via l'interface utilisateur. Outre la reproductibilité des résultats qui est nécessaire dans un contexte industriel soumis à des exigences de certication fortes comme la norme avionique DO-178C, un journal permet d'automatiser le pilotage de l'outil dans un contexte d'utilisation particulier. Cet article présente comment le mécanisme de génération du journal de Frama-C, appelé journalisation et requérant intrinsèquement de l'introspection, a été développé en OCaml, en combinant typage statique et dynamique. -- GitLab