Cette page contient le développement Coq accompagnant l'article suivant:
Sandrine Blazy, Benoît Robillard et Éric Soutif Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe, 2007. Soumis à une conférence.Code Coq au format html.
Copyright 2007 Institut National de Recherche en Informatique et Automatique (INRIA). These files are distributed under the terms of the GNU Public License version 2.