« Réduction par ordre partiel » : différence entre les versions
Contenu supprimé Contenu ajouté
Nouvelle page : 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 pion... |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
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<ref>{{Article|langue=en|prénom1=Antti|nom1=Valmari|titre=Stubborn sets for reduced state space generation|périodique=Advances in Petri Nets 1990|série=Lecture Notes in Computer Science|éditeur=Springer, Berlin, Heidelberg|date=1989-06-01|isbn=9783540538639|doi=10.1007/3-540-53863-1_36|lire en ligne=https://link.springer.com/chapter/10.1007/3-540-53863-1_36|consulté le=2018-12-20|pages=491–515}}</ref>, Patrice Godefroid<ref>{{Article|langue=en|prénom1=Patrice|nom1=Godefroid|titre=Using partial orders to improve automatic verification methods|périodique=Computer-Aided Verification|série=Lecture Notes in Computer Science|éditeur=Springer, Berlin, Heidelberg|date=1990-06-18|isbn=9783540544777|doi=10.1007/BFb0023731|lire en ligne=https://link.springer.com/chapter/10.1007/BFb0023731|consulté le=2018-12-20|pages=176–185}}</ref>, Doron Peled. |
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<ref>{{Article|langue=en|prénom1=Antti|nom1=Valmari|titre=Stubborn sets for reduced state space generation|périodique=Advances in Petri Nets 1990|série=Lecture Notes in Computer Science|éditeur=Springer, Berlin, Heidelberg|date=1989-06-01|isbn=9783540538639|doi=10.1007/3-540-53863-1_36|lire en ligne=https://link.springer.com/chapter/10.1007/3-540-53863-1_36|consulté le=2018-12-20|pages=491–515}}</ref>, Patrice Godefroid<ref>{{Article|langue=en|prénom1=Patrice|nom1=Godefroid|titre=Using partial orders to improve automatic verification methods|périodique=Computer-Aided Verification|série=Lecture Notes in Computer Science|éditeur=Springer, Berlin, Heidelberg|date=1990-06-18|isbn=9783540544777|doi=10.1007/BFb0023731|lire en ligne=https://link.springer.com/chapter/10.1007/BFb0023731|consulté le=2018-12-20|pages=176–185}}</ref>, Doron Peled<ref>{{Article|langue=en|prénom1=Doron|nom1=Peled|titre=All from one, one for all: on model checking using representatives|périodique=Computer Aided Verification|série=Lecture Notes in Computer Science|éditeur=Springer, Berlin, Heidelberg|date=1993-06-28|isbn=9783540569220|doi=10.1007/3-540-56922-7_34|lire en ligne=https://link.springer.com/chapter/10.1007/3-540-56922-7_34|consulté le=2018-12-20|pages=409–423}}</ref>. |
||
Version du 20 décembre 2018 à 10:22
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[3].
- (en) Antti Valmari, « Stubborn sets for reduced state space generation », Advances in Petri Nets 1990, Springer, Berlin, Heidelberg, lecture Notes in Computer Science, , p. 491–515 (ISBN 9783540538639, DOI 10.1007/3-540-53863-1_36, lire en ligne, consulté le )
- (en) Patrice Godefroid, « Using partial orders to improve automatic verification methods », Computer-Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science, , p. 176–185 (ISBN 9783540544777, DOI 10.1007/BFb0023731, lire en ligne, consulté le )
- (en) Doron Peled, « All from one, one for all: on model checking using representatives », Computer Aided Verification, Springer, Berlin, Heidelberg, lecture Notes in Computer Science, , p. 409–423 (ISBN 9783540569220, DOI 10.1007/3-540-56922-7_34, lire en ligne, consulté le )