@inproceedings{loulergue2026mechuvl,
    author = {Loulergue, Frédéric and Philippe, Jolan and Paul, Nicolas},
    title = {mech-uvl: A Mechanized Semantic Toolkit for the Universal Variability Language},
    keywords = {software product lines ; static checking ; mechanization ; formal semantics ; Universal Variability Language},
    year = {2026},
    isbn = {9798400720246},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    booktitle = {Tenth International Workshop on Languages for Modelling Variability (MODEVAR@VARIABILITY 2026)},
    numpages = {16},
    location = {Pyrgos Lemesou, Cyprus},
    pdf = {https://hal.science/hal-05691641v1/file/report.pdf},
    series = {VARIABILITY '26},
    url = {https://hal.science/hal-05691641}
}