Model checking on TCP protocol using PRISM

Job Description:

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.

Skills: Software Testing, Software Engineering

About the Client:
( 2 reviews ) Seoul, Korea, Republic of

Project ID: #35285496

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

$140 USD in 7 days
(3 Reviews)

Hi I am familiar with your project skills Mobile App Development, Phone Gap, Ionic Framework, iPhone and HTML5. I have done similar projects before. Let's have a quick chat on this project to clear further details and More

$180 USD in 7 days
(0 Reviews)

Hi Greetings! I am available right now for the project discussion and can start the project on an immediate basis. I have understood your project requirement I have7++ experience in design and development. I can ha More

$250 USD in 7 days
(0 Reviews)