Daedalux: An Extensible Platform for Variability-Aware Model Checking

Open Webpage

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay

Published: 01 Jan 2024, Last Modified: 27 Sept 2024ICSE Companion 2024EveryoneRevisionsBibTeXCC BY-SA 4.0