CiME - CiME: a tool box for automated deduction.
Date of the last release: 01 January 2013

Person in charge : 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

More information: http://cime.lri.fr

Software - Licence : CeCILL-C



Research activities
  Automated deduction

Members
  CONTEJEAN Evelyne
  MARCHÉ Claude
  URBAIN Xavier

Group
  Verification of Algorithms, Languages and Systems

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE