ProFeat is a feature-oriented modeling language to describe families of probabilistic systems, as well as a framework for family-based model checking.
Contact: Philipp Chrszon, Clemens Dubslaff
ProFeat on GitHub
