ProFeat: feature-oriented engineering for family-based probabilistic model checking

@article{Chrszon2017ProFeatFE,
  title={ProFeat: feature-oriented engineering for family-based probabilistic model checking},
  author={Philipp Chrszon and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier},
  journal={Formal Aspects of Computing},
  year={2017},
  volume={30},
  pages={45-75}
}
The concept of features provides an elegant way to specify families of systems. Given a base system, features encapsulate additional functionalities that can be activated or deactivated to enhance or restrict the base system’s behaviors. Features can also facilitate the analysis of families of systems by exploiting commonalities of the family members and performing an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. Most… CONTINUE READING