CiME - CiME: une boîte à outils pour la démonstration automatique.
Date de dernière version : 01 janvier 2013

Responsable : CONTEJEAN Evelyne

CiME 3 is a rewriting toolbox that provides Coq certificates for termination proofs (standard rewriting) obtained using various criteria:

• Dependency pairs:
  • plain/marks,
  • graphs refinements with or without sub-term criterion

as well as various orderings:

• Polynomial interpretations,
• Matrix interpretations,
• Full RPO with status, with AFS refinements

Pour en savoir plus: http://cime.lri.fr

Logiciel - Licence : CeCILL-C



Activités de recherche
  Démonstration automatique

Membres
  CONTEJEAN Evelyne
  MARCHÉ Claude
  URBAIN Xavier

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE