Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Farinier, Benjamin"'
Autor:
Veronese, Lorenzo, Farinier, Benjamin, Bernardo, Pedro, Tempesta, Mauro, Squarcina, Marco, Maffei, Matteo
The complexity of browsers has steadily increased over the years, driven by the continuous introduction and update of Web platform components, such as novel Web APIs and security mechanisms. Their specifications are manually reviewed by experts to id
Externí odkaz:
http://arxiv.org/abs/2201.01649
We focus in this paper on generating models of quantified first-order formulas over built-in theories, which is paramount in software verification and bug finding. While standard methods are either geared toward proving the absence of solution or tar
Externí odkaz:
http://arxiv.org/abs/1802.05616
Publikováno v:
Formal Methods in System Design; Oct2024, Vol. 63 Issue 1-3, p206-234, 29p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Farinier, Benjamin
Publikováno v:
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
Formal methods have repeatedly demonstrated their relevance in search and analysis of bugs. If current methods are well suited to critical code analysis where mistakes are not a possible option, they are less interested on non-critical programs. Inde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::14e4357b15ebfb9374037a5e0bf8f7a5
https://tel.archives-ouvertes.fr/tel-02988031
https://tel.archives-ouvertes.fr/tel-02988031
Autor:
Farinier, Benjamin
Publikováno v:
Performance [cs.PF]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM013⟩
Formal methods have repeatedly demonstrated their relevance in search and analysis of bugs. If current methods are well suited to critical code analysis where mistakes are not a possible option, they are less interested on non-critical programs. Inde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14e4357b15ebfb9374037a5e0bf8f7a5
https://theses.hal.science/tel-02988031
https://theses.hal.science/tel-02988031
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; Irmin is an OCaml library to design purely functional data structures that can be persisted on disk and be merged and synchronised efficiently. In this paper, we focus on the "merge" aspect of the library and present two data struc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8889e10c35dd17312341b3c53059180f
https://inria.hal.science/hal-01099136v2/document
https://inria.hal.science/hal-01099136v2/document