CerCo

CerCo est un compilateur pour le langage de programmation C à préservation de complexité concrète formellement certifiée. Il est maintenu et développé conjointement par les équipes de l'Université de Bologne, l'Université Paris Diderot et de l'Université d'Édi…