Centre d’Etudes de Recherche du cerveau et de la COgnition
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`Édimbourg dans le cadre du ...