www.prismmodelchecker.org
[BDGK03] J. Bradley, N. Dingle, S. Gilmore and W. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In Proc. 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems (MASCOTS'03), pages 344-351. October 2003. http://www.dcs.ed.ac.uk/home/stg/
Links: [Google] [Google Scholar]

Publications