Une Boite `a Outils Pour la Preuve Formelle de Syst`emes Séquentiels

Liste de Tableaux
Représentation des formules propositionnelles 27
Table 1. Répartition par taille des arbres réduits de Shannon . . . . . . . . . . . 34
Table 2. Comparaison des somme de produits, forme de Reed-Muller, et TDG . 66
Problèmes sur les machines séquentielles 69
Table 3. Exemple de variables redondantes . . . . . . . . . . . . . . . . . . . . . 81
Calcul de l’image d’une fonction 85
Table 4. Comportement de ( ⃗ f↓χ) . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Table 5. Résultats du calcul des états valides . . . . . . . . . . . . . . . . . . . . 104
Table 6. Analyse du test d’identification étendu . . . . . . . . . . . . . . . . . . 104
7