Pi2Prism = probabilistic pi-calculus to PRISM models

21 views

Skip to first unread message

bensalah...@gmail.com

unread,

Dec 15, 2017, 5:28:20 PM12/15/17

to PRISM model checker

Dear all

I am particularly interested in Model Checking Probabilistic and Stochastic Extensions of the Pi-calculus. .

I need the files pi2prism and Pi2Prism !!

Thanks for your time and consideration

Reply all

Reply to author

Forward

0 new messages