Fiche Logiciel - CFML

Logo Logiciel par défaut

CFML


CFML permet de vérifier la correction fonctionnelle complète des programmes OCaml. Les preuves sont effectuées de manière interactive, au sein de l'assistant de preuve Coq.



Discipline(s): Non renseigné
Domaine(s) d'application: Non renseigné
Mot(s)-clé(s): Non renseigné

Aucun développeur associé.

Contact : Contact non renseingé


Aucun laboratoire associé.