Programmation Spécification et certification du logiciel
... logique de Hoare. C'est `a dire : [P, Q] ? S ? ?C ? S. ? [P] C [Q]. On ... Hoare-Floyd avec des spécifications ensemblistes. Préfixe d'une suite. Posons.
... logique de Hoare. C'est `a dire : [P, Q] ? S ? ?C ? S. ? [P] C [Q]. On ... Hoare-Floyd avec des spécifications ensemblistes. Préfixe d'une suite. Posons.