Christophe Darlot

Publication Activity (10 Years)

Years Active: 2000-2005
Publications (10 Years): 0

Publications

Christophe Darlot, Alain Finkel, Laurent Van Begin
About Fast and TReX Accelerations. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Refinement Preserves PLTL Properties. ZB (2003)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME (2001)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB (2000)