Alain Mebsout
Título
Citado por
Citado por
Ano
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
922012
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
522013
The Kind 2 model checker
A Champion, A Mebsout, C Sticksel, C Tinelli
International Conference on Computer Aided Verification, 510-517, 2016
452016
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
402017
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
392013
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
292012
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
202008
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
122016
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
122016
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
122013
Certificates for parameterized model checking
S Conchon, A Mebsout, F Zaïdi
International Symposium on Formal Methods, 126-142, 2015
102015
Alt-Ergo 2.2
S Conchon, A Coquereau, M Iguernlala, A Mebsout
92018
Liquidity: Ocaml pour la blockchain
Ç Bozman, M Iguernlala, M Laporte, FL Fessant, A Mebsout
Journées Francophones des Langages Applicatifs 2018, 2018
62018
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
62014
Inférence d'invariants pour le model checking de systèmes paramétrés
A Mebsout
52014
AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo
S Conchon, M Iguernlala, A Mebsout
arXiv preprint arXiv:1701.07124, 2017
42017
Vérification de systemes paramétrés avec Cubicle
S Conchon, A Mebsout, F Zaïdi
42013
Formal Methods Tool Qualification
LG Wagner, D Cofer, K Slind, C Tinelli, A Mebsout
22017
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
12017
Vérification de programmes C concurrents avec Cubicle: Enfoncer les barrieres
S Conchon, L Maranget, A Mebsout, D Declerck
12014
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20