Iguernlala (Iguernelala) Mohamed
Iguernlala (Iguernelala) Mohamed
OCamlPro / LRI
Bestätigte E-Mail-Adresse bei lri.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Alt-Ergo automated theorem prover, 2008
F Bobot, S Conchon, E Contejean, M Iguernelala, S Lescuyer, A Mebsout
562013
Canonized rewriting and ground AC completion modulo Shostak theories: Design and implementation
S Conchon, E Contejean, M Iguernelala
arXiv preprint arXiv:1207.3262, 2012
222012
Alt-Ergo 2.2
S Conchon, A Coquereau, M Iguernlala, A Mebsout
16th International Workshop on Satisfiability Modulo Theories, SMT 2018 …, 2018
162018
A three-tier strategy for reasoning about floating-point numbers in SMT
S Conchon, M Iguernlala, K Ji, G Melquiond, C Fumex
International Conference on Computer Aided Verification, 419-435, 2017
152017
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
152013
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)(2013)
S Conchon, M Iguernelala, A Mebsout
15*
Built-in treatment of an axiomatic floating-point theory for SMT solvers
S Conchon, G Melquiond, C Roux, M Iguernelala
10th International Workshop on Satisfiability Modulo Theories, 12-21, 2012
132012
Tuning the Alt-Ergo SMT solver for B proof obligations
S Conchon, M Iguernelala
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
102014
Canonized rewriting and ground AC completion modulo Shostak theories
S Conchon, E Contejean, M Iguernelala
International Conference on Tools and Algorithms for the Construction and …, 2011
82011
Liquidity: OCaml pour la Blockchain
C Bozman, M Iguernlala, M Laporte, F Le Fessant, A Mebsout
Journées Francophones des Langages Applicatifs 2018 JFLA 2018, 105, 0
7*
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
Strengthening the heart of an SMT-solver: Design and implementation of efficient decision procedures
M Iguernelala
Université Paris Sud-Paris XI, 2013
52013
Ground associative and commutative completion modulo shostak theories
S Conchon, E Contejean, M Iguernelala
LPAR, 2010
52010
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo
S Conchon, M Iguernlala
International Conference on Reliability, Safety and Security of Railway …, 2016
42016
A Non-linear Arithmetic Procedure for Control-Command Software Verification
P Roux, M Iguernlala, S Conchon
International Conference on Tools and Algorithms for the Construction and …, 2018
32018
ocp-memprof: un profileur mémoire pour OCaml
Ç Bozman, G Henry, M Iguernelala, F Le Fessant, M Mauny
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015
32015
Tezos: the OCaml Crypto-Ledger
B Canou, G Henry, P Chambart, F Le Fessant, C Bozman, V Bernardoff, ...
OCaml'2017, 2017
2017
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories: Design and Implementation
M Iguernelala, E Contejean, S Conchon
Logical Methods in Computer Science 8, 2012
2012
The Ctrl-Ergo SMT Solver
M Iguernlala
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19