Discuter:Analyse statique de programmes

Un article de Wikipédia, l'encyclopédie libre.

	Analyse statique de programmes fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
Moyenne	Cet article a été classé comme d'Importance moyenne selon le Tableau d'évaluation du projet. (Contester?)

J'ai modifié une phrase bizarre (non finie, en fait) : "l'analyse statique par interprétation abstraite, qui approxime le comportement du système, soit par au-dessus (considérant plus de comportements que".