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
972012
The Kind 2 model checker
A Champion, A Mebsout, C Sticksel, C Tinelli
International Conference on Computer Aided Verification, 510-517, 2016
592016
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
542013
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
452017
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
422013
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
182016
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
142013
Alt-Ergo 2.2
S Conchon, A Coquereau, M Iguernlala, A Mebsout
132018
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
112016
Certificates for parameterized model checking
S Conchon, A Mebsout, F Zaïdi
International Symposium on Formal Methods, 126-142, 2015
112015
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
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
52014
Vérification de systemes paramétrés avec Cubicle
S Conchon, A Mebsout, F Zaïdi
52013
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
32017
Formal Methods Tool Qualification
LG Wagner, D Cofer, K Slind, C Tinelli, A Mebsout
22017
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