www.prismmodelchecker.org
[PBS21] Aisha Sattar Phulpoto, Sania Bhatti and Salahuddin Saddar. Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm. International Journal of Computer Applications. 2021. [Uses PRISM to analyse a lossless compression algorithm called improved run-length coding (IRLC).]
Links: [Google] [Google Scholar]

Publications