1. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
    Cut Branches Before Looking for Bugs: Certifiably Sound Verification on Relaxed Slices.
    In Formal Aspects of Computing Journal, vol. 30, issue 1, pages 107-131. 2018. Springer. (To appear.)
    [pdf] This is the authors' final version of the work. The final publication is available at http://link.springer.com. DOI 10.1007/s00165-017-0439-x

  2. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
    Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.
    In Proc. of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016)
    part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016),
    Eindhoven, The Netherlands, April 2016, pages 179-196. LNCS 9633. Springer. ISBN 978-3-662-49664-0.
    [pdf] This is the authors' final version of the work. The final publication is available at http://link.springer.com. DOI 10.1007/978-3-662-49665-7_11.

  3. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
    Coq a dit : fromage tranché ne peut cacher ses trous.
    In 27mes Journées Francophones des Langages Applicatifs (JFLA 2016)
    Saint-Malo, France, January 2016, 3 pages. (In French).
    [pdf]