www.prismmodelchecker.org
[Tak20] Ryuichi Takahashi. Evaluation the Redundancy of the IoT System Based on Individual Sensing Probability. IEICE Transactions on Information and Systems. 2020. [Evaluates the reliability of IoT systems via a translation to PRISM.]
Links: [Google] [Google Scholar]

Publications