Réduction d'ordre partiel


Révision datée du 1 février 2021 à 21:13 par Pitpitt (discussion | contributions) (Remplacement de texte — « <small> féminin </small> » par «  »)
La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

Définition

La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent.

Français

réduction d'ordre partiel

Anglais

Partial order reduction


source : tel.archives-ouvertes.fr