Plusieurs chercheurs de notre équipe travaillent à comprendre comment un système de traitement de preuve peut être utilisé en génie logiciel pour développer des programmes certifiés.
