Logiciels

"ℂDuce est un langage fonctionnel moderne orienté XML avec des caractéristiques innovantes. Un compilateur..."

"CFML permet de vérifier la correction fonctionnelle complète des programmes OCaml. Les preuves sont..."

"CompoST est un outil qui effectue la reconnaissance et la segmentation..."

"ConcQuest est un concordancier dédié à la recherche d'expressions complexes à travers des corpus..."

"Bibliothèque Coq conviviale pour l'analyse réelle"

"Un simulateur de robotique sous-marine"

"Plate-forme pour la synthèse physique de circuits intégrés"

"COSTO toolbox est une plate-forme Eclipse qui comprend : un module de base avec..."

"Cubicle est un vérificateur de modèles open source permettant de vérifier les propriétés de sécurité..."

Équipes