Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > MEBSOUT Alain
Présentation
M. MEBSOUT Alain

ATTENTION : ce membre a quitté le laboratoire le 30/11/2014
 
MEBSOUT Post-doctorant
INRIA
Vérification d'Algorithmes, Langages et Systèmes

Tel : 01 72 92 59 95
Fax :
Bureau : 37/PCRI-S

Page personnelle : http://www.lri.fr/~mebsout
Courrier électronique : Alain.Mebsout@lri.fr

Activités de recherche
   - Démonstration automatique, SMT et applications


Projets
   - Toccata






Résultats majeurs
   - Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems
   - A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

Logiciels et brevets
   - Alt-Ergo : Démonstrateur automatique Alt-Ergo
   - CUBICLE : A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS


Thèses et habilitations
Doctorat   - Inférence d'invariants pour le model checking de systèmes paramétrés