www.prismmodelchecker.org
[SNR15] M. Shafiuzzaman, N. Nahar and M. R. Rahman. A proactive approach for context-aware self-adaptive mobile applications to ensure Quality of Service. In Pro. 18th International Conference on Computer and Information Technology (ICCIT'15), pages 544-549. 2015. [Proposes an approach for analysing quality of service in mobile applications using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications