ProFeat is a tool that provides a feature-oriented modeling language to describe families of probabilistic systems and a framework that enables the feature-aware analysis of such families using state-of-the-art probabilistic model checkers.

Source code of the ProFeat tool (version For build instructions, please refer to the file contained in the archive.
We provide binaries for Mac OS X (64 Bit) and for Linux (x86_64).

ProFeat models of all selected case studies.