Accueil
>
Présentation
>
Personnel
> MEBSOUT Alain
Présentation
Organigramme
Liste des membres du LRI
Responsabilités administratives
Rapport d'activité
Equipes
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
M. MEBSOUT Alain
ATTENTION : ce membre a quitté le laboratoire le 30/11/2014
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