Imposition de propriétés temporisées à l'exécution
Abstract
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.
Origin : Files produced by the author(s)
Loading...