[HZHC15]
Kangli He, Min Zhang, Jia He and Yixiang Chen.
Probabilistic Model Checking of Pipe Protocol.
In Proc. 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15).
2015.
[Analyses the Pipe application layer protocol using probabilistic timed automata and PRISM.]
|
