Fiche Logiciel - CFML
![Logo Logiciel par défaut](https://www.postlab.fr/media/cache/squared_thumbnail_medium/build/images/logo-logiciel-par-defaut.f4ff2cba.jpg)
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é.