TCP protocol verification using PRISM model checker

[Faiza Sabir]

Hi Everyone,

is there a way of verifying TCP protocol using PRISM model checker ?

I have been trying but couldn't able to find the probabilistic functions for TCP/IP protocol .

Thanks.

Regards,

FAIZA

[Kaustabha Ray]

Have a look at the following links

http://www.cs.columbia.edu/~elibrosh/candidacy.pdf

https://dl.acm.org/doi/10.1145/347059.347549

The stochastic models can then be used in PRISM

--
You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker/6cba1b8f-b956-4c7f-9685-7109d0c3e5d3n%40googlegroups.com.