La recherche en méthodes formelles, pour les 30 années à venir Résumé d'une présentation de Gilles Dowek, conférencier invité à NASA Formal Methods 2018 méthodes formelles
Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
