Imposition de propriétés temporisées à l'exécution
Résumé
L'imposition de propriétés (en anglais runtime enforcement) désigne les méthodes, techniques et outils permettant de garantir que l'exécution d'un système est conforme à sa spécification. Cet article présente brièvement certains des résultats majeurs obtenus lors des travaux de ce domaine de recherche.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...