Alain Mebsout
Alain Mebsout
Adresse e-mail validée de uiowa.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Cubicle: A parallel SMT-based model checker for parameterized systems
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
International Conference on Computer Aided Verification, 718-724, 2012
1052012
The Kind 2 model checker
A Champion, A Mebsout, C Sticksel, C Tinelli
International Conference on Computer Aided Verification, 510-517, 2016
752016
SMTCoq: A plug-in for integrating SMT solvers into Coq
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett
International Conference on Computer Aided Verification, 126-133, 2017
602017
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
542013
Invariants for finite instances and beyond
S Conchon, A Goel, S Krstić, A Mebsout, F Zaïdi
2013 Formal Methods in Computer-Aided Design, 61-68, 2013
462013
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic
F Bobot, S Conchon, E Contejean, M Iguernelala, A Mahboubi, A Mebsout, ...
International Joint Conference on Automated Reasoning, 67-81, 2012
302012
Alt-Ergo 2.2
S Conchon, A Coquereau, M Iguernlala, A Mebsout
SMT Workshop: International Workshop on Satisfiability Modulo Theories, 2018
242018
The Alt-Ergo automated theorem prover
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
URL: http://alt-ergo. lri. fr, 2008
232008
Proof certificates for SMT-based model checkers for infinite-state systems
A Mebsout, C Tinelli
2016 Formal Methods in Computer-Aided Design (FMCAD), 117-124, 2016
202016
A collaborative framework for non-linear integer arithmetic reasoning in Alt-Ergo
S Conchon, M Iguernelala, A Mebsout
2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013
162013
Extending SMTCoq, a certified checker for SMT
B Ekici, G Katz, C Keller, A Mebsout, AJ Reynolds, C Tinelli
arXiv preprint arXiv:1606.05947, 2016
142016
Certificates for parameterized model checking
S Conchon, A Mebsout, F Zaïdi
International Symposium on Formal Methods, 126-142, 2015
142015
Liquidity: Ocaml pour la blockchain
Ç Bozman, M Iguernlala, M Laporte, FL Fessant, A Mebsout
Journées Francophones des Langages Applicatifs 2018, 2018
82018
Inférence d'invariants pour le model checking de systèmes paramétrés.(Invariants inference for model checking of parameterized systems).
A Mebsout
University of Paris-Sud, Orsay, France, 2014
72014
Qualification of a model checker for avionics software verification
L Wagner, A Mebsout, C Tinelli, D Cofer, K Slind
NASA Formal Methods Symposium, 404-419, 2017
52017
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
S Conchon, M Iguernlala, A Mebsout
arXiv preprint arXiv:1701.07124, 2017
52017
Inférence d'invariants pour le model checking de systèmes paramétrés
A Mebsout
Université Paris Sud-Paris XI, 2014
52014
Vérification de systemes paramétrés avec Cubicle
S Conchon, A Mebsout, F Zaïdi
JFLA-Journées francophones des langages applicatifs-2013, 2013
52013
Formal Methods Tool Qualification
LG Wagner, D Cofer, K Slind, C Tinelli, A Mebsout
22017
Formalisation en Coq d'algorithmes de filtres numériques
D Gallois-Wong
JFLA 2019-Journées Francophones des Langages Applicatifs, 2019
12019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20