Daedalux: An Extensible Platform for Variability-Aware Model Checking

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay. Daedalux: An Extensible Platform for Variability-Aware Model Checking. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024. pages 21-25, ACM, 2024. [doi]

Abstract

Abstract is missing.