Accéder directement au contenu

Claude Marché

2
Documents

Publications

843741
Image document

Instrumenting a Weakest Precondition Calculus for Counterexample Generation

Sylvain Dailler , David Hauzar , Claude Marché , Yannick Moy
Journal of Logical and Algebraic Methods in Programming, 2018, 99, pp.97-113
Article dans une revue hal-01802488v1
Image document

Modular inference of subprogram contracts for safety checking

Yannick Moy , Claude Marché
Journal of Symbolic Computation, 2010, 45, pp.1184-1211
Article dans une revue inria-00534331v1