Derniers articles pour Specification Refinement

Une nouvelle méthode pour trouver des cœurs minimalement insatisfaisables en logique temporelle linéaire.