Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-02916890
Contributeur : Celia Picard Connectez-vous pour contacter le contributeur
Soumis le : mardi 18 août 2020 - 10:36:05
Dernière modification le : mercredi 6 avril 2022 - 16:36:01
Archivage à long terme le : : lundi 30 novembre 2020 - 21:03:21

Fichier

AFADL2020_version_finale.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

137

Téléchargements de fichiers

49