Précédent : Formalisation des arbres de Böhm Remonter : Utilisation du système Coq Suivant : Preuves de programmes

Preuves de circuit

Participant : Jean Duprat J. Duprat poursuit ses recherches sur les preuves de circuits dans deux directions. Il étudie d'une part, la représentation d'un circuit sous la forme d'un réseau d'automates et d'autre part, la caractérisation d'algorithmes admettant une implantation séquentielle et une implantation parallèle.