www.prismmodelchecker.org
[BARI21] Borja Bordel, Ramon Alcarria, Tomas Robles and Marcos Sanchez Iglesias. Data Authentication and Anonymization in IoT Scenarios and Future 5G Networks Using Chaotic Digital Watermarking. IEEE Access, 9, pages 22378-22398. 2021. [Proposes an IoT authentication and anonymisation scheme and verifies it using PRISM.]
Links: [Google] [Google Scholar]

Publications