Found 1 document(s)
Page 1 of 1
-
Nous proposons une méthode d'exploitation des symétries pour la vérification par model-checking des systèmes temps réel modélisés par réseaux de Petri temporels. La méthode traite les marquages ainsi que les contraintes ...