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

Equipe-projet Inria
  Toccata

TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library