Accéder directement au contenu

Guillaume Melquiond

4
Documents

Publications

claude-marche
Image document

How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

 Raphaël Rieu-Helft , Claude Marché , Guillaume Melquiond
9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. pp.84-101, ⟨10.1007/978-3-319-72308-2_6⟩
Communication dans un congrès hal-01519732v2
Image document

Preserving User Proofs Across Specification Changes

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
Fifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès hal-00875395v1

Why3 version 1.0

 Jean-Christophe Filliâtre , Andrei Paskevich , Guillaume Melquiond , Claude Marché , François Bobot
France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
Brevet hal-03136256v1
Image document

The Why3 platform 0.81

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
2013
Autre publication scientifique hal-00822856v1