We have to design a kripke structure of TCP protocol by assuming probablities. Then we have to convert the kripke structure into Markov decision process (MDP) w.r.t PRISM tool. This project is already designed in NuSMV model checker, so this time we are designing using PRISM which is based on probablities. Details can be found in attached PPT.
4 freelancers are bidding on average $178 for this job
hello,i have a lot of experience related to work on tcp protocol,i have also seen the ppt which you have attached the code is relevant and understandable to us ,we can start working on this. thanks