Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Alt-Ergo
Alt-Ergo - Démonstrateur automatique Alt-Ergo
Date de dernière version : 01 janvier 2014

Responsable : CONCHON Sylvain


Alt-Ergo is a \\\"little engine\\\" of proof dedicated to program verification, whose development started in 2006.

It solves goals that are directly written in the Why\\\'s annotation language; this means that Alt-Ergo fully supports first order polymorphic logic with quantifiers.

It also supports the SMT standard defined by the SMT-lib initiative.

Pour en savoir plus: http://alt-ergo.lri.fr/

Logiciel - Licence : CeCILL-C



Activités de recherche
  Démonstration automatique, SMT et applications
  Vérification déductive de programmes

Membres
  CONTEJEAN Evelyne
  CONCHON Sylvain
  LESCUYER Stéphane
  IGUERNELALA Mohamed
  MEBSOUT Alain

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