PARAM: A model checker for parametric Markov models
Crowds: Anonymity for Web Transactions