Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Coq.Interval
Coq.Interval - Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
Date de dernière version : 01 janvier 2014

Responsable : MELQUIOND Guillaume


La bibliothèque Coq.Interval fournit des tactiques automatiques pour le système formel Coq. Ces tactiques facilitent la preuve d'inéqualités sur des expressions à valeurs réelles.
Cette bibliothèque a été développée en grande partie pendant le post-doctorat de G. Melquiond au laboratoire commun INRIA - Microsoft Research.

Pour en savoir plus: http://www.lri.fr/~melquion/soft/coq-interval/

Logiciel - Licence : LGPL



Activités de recherche

Membres
  MELQUIOND Guillaume

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