Accéder directement au contenu

Guillaume Melquiond

3
Documents

Publications

bobot
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
Image document

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

 François Bobot , Sylvain Conchon , Evelyne Contejean , Mohamed Iguernelala , Assia Mahboubi
6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩
Communication dans un congrès hal-00687640v2
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