| |
Publications of Christophe Darlot
| |
-
Christophe Darlot,
Jacques Julliand,
and Olga Kouchnarenko.
Refinement Preserves PLTL Properties.
In Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B,
volume 2651 of LNCS,
Turku, Finland,
pages 408--420,
June 2003.
[bibtex]
-
Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
and Olga Kouchnarenko.
How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation.
In Proc. of the Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'2001), joint to FME'01, Naval Research Laboratory Technical Memorandum,
Berlin, Germany,
March 2001.
[bibtex]
-
Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
and Olga Kouchnarenko.
Reformulation: a Way to Combine Dynamic Properties and B Refinement.
In FME 2001 (Formal Methods Europe),
volume 2021 of LNCS,
Berlin, Germany,
pages 2--19,
March 2001.
Springer.
[bibtex]
-
Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
and Olga Kouchnarenko.
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
In Conference ZB 2000,
volume 1878 of LNCS,
York, United Kingdom,
pages 230--249,
August 2000.
Springer.
[bibtex]
-
Christophe Darlot.
Current work on Functional Programming Defunctionalization.
In séminaire,
Université de Passau, Germany,
May 1998.
[bibtex]
|
|
| | |
This document was translated from BibTEX by
bibtex2html
|
|