Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel CiME
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
  • Logiciels et brevets
    SMARTIES
    The Smarties Input System

    PINT
    Static analyzer for dynamics of Automata Networks

    SAUPODOC
    Semantic Annotation Using Population of Ontology and Definition of Classes