GitHub repository: models-team/p3-tool
Primary language: Haskell
Description: A reconfigurator tool for fPromela with support for variability abstractions.