Christophe Darlot

According to our database, Christophe Darlot authored at least 4 papers between 2000 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

About Fast and TReX Accelerations.

Christophe Darlot, Alain Finkel, Laurent Van Begin

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2003

Refinement Preserves PLTL Properties.

Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2001

Reformulation: A Way to Combine Dynamic Properties and B Refinement.

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

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

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000