Accéder directement au contenu

Claude Marché

4
Documents

Publications

bobot
Image document

Let's Verify This with Why3

François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩
Article dans une revue hal-00967132v1
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

Why3: Shepherd Your Herd of Provers

François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
Boogie 2011: First International Workshop on Intermediate Verification Languages, 2011, Wroclaw, Poland. pp.53-64
Communication dans un congrès hal-00790310v1