Formal Verification of Multi-Party Privacy Protocols Using Probabilistic Automata and Symbolic Abstraction in High-Stakes Data Environments. ISCSITR- INTERNATIONAL JOURNAL OF DATA SCIENCE (ISCSITR-IJDS) - ISSN: 3067-7408, [S. l.], v. 2, n. 1, p. 1–7, 2021. Disponível em: https://iscsitr.in/index.php/ISCSITR-IJDS/article/view/ISCSITR-IJDS_02_01_001.. Acesso em: 8 oct. 2025.