Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Iguernelala, Mohamed"'
Autor:
Iguernelala, Mohamed
Cette thèse s'intéresse à la démonstration automatique de la validité de formules mathématiques issues de la preuve de programmes. Elle se focalise tout particulièrement sur la Satisfiabilité Modulo Théories (SMT): un jeune domaine de recher
Externí odkaz:
http://www.theses.fr/2013PA112080/document
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 3 (September 14, 2012) lmcs:1034
AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension o
Externí odkaz:
http://arxiv.org/abs/1207.3262
Autor:
Canou, Benjamin, Henry, Grégoire, Chambart, Pierre, Le Fessant, Fabrice, Bozman, Cagdas, Bernardoff, Vincent, Rieu, Guillem, Iguernelala, Mohamed, Mebsout, Alain, Breitman, Arthur
Publikováno v:
OCaml 2017-OCaml Users and Developers Workshop
OCaml 2017-OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom. pp.1-2
OCaml 2017-OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom. pp.1-2
International audience; In this talk, we will present the story of the Tezos project. Tezos is a crypto-ledger, i.e. a distributed blockchain with a language to express smart contracts, with two specific characteristics: the first one is its ability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::572549f04a34d4bce45429c3c7c14e9c
https://hal.inria.fr/hal-01661696
https://hal.inria.fr/hal-01661696
Publikováno v:
Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
National audience; La récupération automatique de la mémoire est une caractéristiquecommune des langages de programmation. Elle offre certes auprogrammeur des garanties de fiabilité, mais, en éloignant ce dernierdes détails de la gestion de la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c42e6ceb60bc02ff88967e523c73e0f
https://hal.inria.fr/hal-01099134
https://hal.inria.fr/hal-01099134
Autor:
Iguernelala, Mohamed
Publikováno v:
Other [cs.OH]. Université Paris Sud-Paris XI, 2013. English. ⟨NNT : 2013PA112080⟩
This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on Satisfiability Modulo Theories (SMT): a young research topic that has seen great adva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7f6ec3ea73f29b43f09cd4a70752a6ec
https://theses.hal.science/tel-00842555/document
https://theses.hal.science/tel-00842555/document
Autor:
Conchon, Sylvain, Iguernelala, Mohamed
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p294-297, 4p
Publikováno v:
2013 15th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2013, p161-168, 8p
Autor:
Bobot, François, Conchon, Sylvain, Contejean, Evelyne, Iguernelala, Mohamed, Mahboubi, Assia, Mebsout, Alain, Melquiond, Guillaume
Publikováno v:
Automated Reasoning (9783642313646); 2012, p67-81, 15p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783642198342); 2011, p45-59, 15p