Skip to Main content Skip to Navigation
Conference papers

Vers la vérification de SMALA, un langage réactif interactif

Résumé : SMALA est un langage réactif dédiéà la programmation de systèmesà forte composante interactive. Pour pouvoir utiliser ce langage dans un con-texte critique, il est nécessaire de pouvoir apporter des garanties. Ainsi, nous nous intéressonsà la vérification formelle du compilateur de SMALA, avec pour objectif de garantir la préservation de la sémantique du programme sourceà la compilation. Dans un premier temps, nous avons limité notré etudeà un sous-ensemble de SMALA. Dans cet article, nous présentons une version préliminaire de la sémantique opérationnelle de ce sous-ensemble.
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal-enac.archives-ouvertes.fr/hal-02916890
Contributor : Celia Picard <>
Submitted on : Tuesday, August 18, 2020 - 10:36:05 AM
Last modification on : Tuesday, October 20, 2020 - 10:32:07 AM
Long-term archiving on: : Monday, November 30, 2020 - 9:03:21 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-02-18

Please log in to resquest access to the document

Identifiers

  • HAL Id : hal-02916890, version 1

Collections

ENAC | LII

Citation

Nicolas Nalpon, Célia Picard, Cyril Allignol, Sébastien Leriche. Vers la vérification de SMALA, un langage réactif interactif. AFADL 2020 - 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2020, Vannes, France. ⟨hal-02916890⟩

Share

Metrics

Record views

40