GitHub repository: samilazregsuidi/Daedalux
Primary language: Promela
Description: A Extensible Platform for Variability-Aware Model-Checking