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 0.118.0.0). For build instructions, please refer to the README.md 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.