CentraleSupélecDépartement informatique
Plateau de Moulon
3 rue Joliot-Curie
F-91192 Gif-sur-Yvette cedex
ADLV: Application Description Language for Verification

ADLV is an approach, a language and a tool for the realization of applications with control that can be verified.

This work was done in the context of the MoDriVal (Model Driven Validation) subproject of the Usine Logicielle project of the Systema@tic Paris-Région competitiveness cluster.

Available items

  • Version 1.0 of the software (EPL 1.0 license)
  • Final report of the activity (in French)
  • Presentation (in French) for the final review of the MoDrival subproject on December 6 2007


Architecture Description Language, Verification of Models, Component Based Design


ADLV is distributed under the Open Source Eclipse Public License 1.0


[1] 2008ADLVCOMPSACAhcène Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet, An Architecture Description Language for Verification in Component-based SoftwareProceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, August, 2008, IEEE Computer Society, pages 365-368, . IEEE(BibTeX)

[2] 2008CheckPropertiesMEMOCODEChristophe Jacquet, Frédéric Boulanger, Dominique Marcadet, From Data to Events: Checking Properties on the Control of a SystemProceedings of the Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2008), Anaheim, California, June, 2008, IEEE Computer Society, pages 17-26, . IEEE(BibTeX)

[3] 2008CheckHeteroMoVaHChristophe Jacquet, Dominique Marcadet, Checking Properties on the Control of Heterogeneous SystemsIEEE International Conference on Software Testing, verification and validation, MoVaH Workshop on Modeling, Validation and Heterogeneity, April, 2008, IEEE Digital Library, pages 141-150(BibTeX)


Frédéric Boulanger
Christophe Jacquet
Dominique Marcadet