www.prismmodelchecker.org
[Adi06] M. Adithia. Probabilistic Analysis of Network Anonymity using PRISM. Masters thesis, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven. 2006. [bib] http://alexandria.tue.nl/extra1/afstversl/wsk-i/adithia2006.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications