Christophe Darlot

Refinement Preserves PLTL Properties

Jacques Julliand, Olga Kouchnarenko, Christophe Darlot, 2003, ZB.

Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko, 2000, ZB.

About Fast and TReX Accelerations

Alain Finkel, Laurent Van Begin, Christophe Darlot, 2005, Electron. Notes Theor. Comput. Sci..

Reformulation: A Way to Combine Dynamic Properties and B Refinement

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko, 2001, FME.