www.prismmodelchecker.org
[NPPW07b] G. Norman, C. Palamidessi, D. Parker and P. Wu. Translating the probabilistic pi-calculus to PRISM. Technical report CSR-07-02, School of Computer Science, University of Birmingham. March 2007. [ps.gz] [pdf] [bib]
Downloads:  ps.gz ps.gz (206 KB)  pdf pdf (280 KB)  bib bib

Publications