Au lieu de générer tous les états possibles et ensuite vérifier les propriétés qui t'intéressent, je partirais des propriétés puis je remonterais le flot de programmes pour en vérifier la propriété. La taille du problème est beaucoup plus faible. Tu remontes le cônes d'influences.
# back track
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.
"La première sécurité est la liberté"