Home
>
About LRI
>
Personnel
> MEBSOUT Alain
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mr MEBSOUT Alain
Warning: this member left the laboratory on 30/11/2014
Post-doctorant
INRIA
Verification of Algorithms, Languages and Systems
Tel : 01 72 92 59 95
Fax :
Office : 37/PCRI-S
Personal web page :
http://www.lri.fr/~mebsout
Email :
Alain.Mebsout@lri.fr
Research activities
-
Automated Proof, SMT and Applications
Joint Inria project teams
-
Toccata
Highlights
-
Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems
-
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Software & Patents
-
Alt-Ergo
: The Alt-Ergo theorem prover
-
CUBICLE
: A PARALLEL SMT-BASED MODEL CHECKER FOR PARAMETERIZED SYSTEMS
Ph.D. dissertations & Faculty habilitations
Ph.D -
Inférence d'invariants pour le model checking de systèmes paramétrés
