www.prismmodelchecker.org
[SKII19] Khayyam Salehi, Jaber Karimpour, Habib Izadkhah and Ayaz Isazadeh. Channel Capacity of Concurrent Probabilistic Programs. Entropy, 21(9). 2019. [Studies information leakage for concurrent probabilistic programs using an extension of PRISM.]
Links: [Google] [Google Scholar]

Publications