www.prismmodelchecker.org
[RDR+17] Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine Price and Bashar Nuseibeh. Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks. In Proc. 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17). 2017. [Proposes an adaptive privacy control approach for social networks, including modelling and analysis of the approach using PRISM.]
Links: [Google] [Google Scholar]

Publications