« Réduction par ordre partiel » : différence entre les versions

Contenu supprimé Contenu ajouté

Intégrés

Version du 20 décembre 2018 à 10:19

En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique. Les pionniers sont Antti Valmari^[1], Patrice Godefroid^[2], Doron Peled.

↑ (en) Antti Valmari, « Stubborn sets for reduced state space generation », Advances in Petri Nets 1990, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 1^er juin 1989, p. 491–515 (ISBN 9783540538639, DOI 10.1007/3-540-53863-1_36, lire en ligne, consulté le 20 décembre 2018)
↑ (en) Patrice Godefroid, « Using partial orders to improve automatic verification methods », Computer-Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 18 juin 1990, p. 176–185 (ISBN 9783540544777, DOI 10.1007/BFb0023731, lire en ligne, consulté le 20 décembre 2018)

[1] (en) Antti Valmari, « Stubborn sets for reduced state space generation », Advances in Petri Nets 1990, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 1^er juin 1989, p. 491–515 (ISBN 9783540538639, DOI 10.1007/3-540-53863-1_36, lire en ligne, consulté le 20 décembre 2018)

[2] (en) Patrice Godefroid, « Using partial orders to improve automatic verification methods », Computer-Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science,‎ 18 juin 1990, p. 176–185 (ISBN 9783540544777, DOI 10.1007/BFb0023731, lire en ligne, consulté le 20 décembre 2018)

[1]

[2]