J'ajoute au model-checking l'approche (plus ou moins concurrente... plus ou moins !) dite de « l'interprétation abstraite » inventée par Patrick Cousot : un cadre rigoureux pour la conception d'analyses statiques correctes basé sur la théorie de l'ordre et les treillis. Une introduction sympathique ici : http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
[^] # Re: Non
Posté par auve . En réponse au journal Déterminer le domaine d'un programme. Évalué à 2.