[KFDK13]
Savas Konur, Michael Fisher, Simon Dobson and Stephen Knox.
Formal Verification of a Pervasive Messaging System.
Formal Aspects of Computing.
2013.
[Uses PRISM to apply probabilistic model checking to the analysis of a pervasive message-forwarding system called Scatterboxs]
|
