Mot-clé: Méthodes formelles

Vérification modulaires de programmes avec effets en Coq

par T. Letan (ANSSI, CentraleSupélec), Y. Régis-Gianas (Univ. Paris Diderot, PiR2), P. Chifflier (ANSSI), G. Hiet (CentraleSupélec)

Publication

16/07/2018

• Coq
• Méthodes formelles
• Vérification de matériel