Derniers articles pour Finite Systems

Une nouvelle méthode améliore la vérification des propriétés de sécurité dans des instances finies.