PARAM: A Model Checker for Parametric Markov Models

This publication has 12 references indexed in Scilit:

• Probabilistic reachability for parametric Markov models
  International Journal on Software Tools for Technology Transfer, 2010
• Probabilistic Reachability for Parametric Markov Models
  2009
• Parametric probabilistic transition systems for system design and analysis
  Formal Aspects of Computing, 2007
• PRISM: A Tool for Automatic Verification of Probabilistic Systems
  2006
• The Design of CoCoALib
  Lecture Notes in Computer Science, 2006
• Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
  2005
• Probabilistic analysis of an anonymity system
  Journal of Computer Security, 2004
• Optimal state-space lumping in Markov chains
  Information Processing Letters, 2003
• Crowds
  ACM Transactions on Information and System Security, 1998
• Weak bisimulation for fully probabilistic processes
  1997