Réduction par ordre partiel
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]. La réduction par ordre partiel est expliquée dans les livres sur la vérification de modèles[4].
Références
[modifier | modifier le code]- (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 )
- Christel Baier et Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, , 975 p. (ISBN 978-0-262-02649-9, lire en ligne)
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
