Help Needed Regarding The Property specification On Prism Tool ,
22 views
Skip to first unread message
Kushal Dhakal
Nov 8, 2017, 12:10:39 PM11/8/17
to PRISM model checker developers
I Have Been Through Modelling BB84 Algorithm on Prism , I Have Taken Some Refrence From Books And Research papers and Found Some Theoretical applicable algorithm , and I Had Already Implemented that as a Model in Prism As Per The Rules Of Probabilistic Model Checking , but Now i Am Stuck in Appliying The Propoty In The Model and Analysing That Model Through Variuos Parameters , So I Need Some Help refarding the solution and possible feedbacks on my Problem , Please Some Body Help .
Regards ,
Kushal Dhakal
Undergraduate Researcher .
Nepal .
Regards ,
Kushal Dhakal
Undergraduate Researcher .
Nepal .
Houria Mansouria
May 7, 2018, 6:13:44 PM5/7/18
to PRISM model checker developers
you can helpe me ?
Reply all
Reply to author
Forward
0 new messages