Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Logiciel CiME
CiME - CiME: une boîte à outils pour la démonstration automatique.
Date de dernière version : 01 janvier 2013
Responsable :
CONTEJEAN Evelyne
C
i
ME 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
Logiciels et brevets
DNADNA
Deep Neural Architectures for DNA
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces
LODATLAS
Browsing Linked Data Catalogs with LODAtlas
> tous les logiciels