Accueil🇫🇷Chercher

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

  1. (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 )
  2. (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 )
  3. (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 )
  4. 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)
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.