www.prismmodelchecker.org
[Ray23] Kaustabha Ray. Adaptive Service Placement for Multi-Access Edge Computing: A Formal Methods Approach. In Proc. IEEE International Conference on Web Services (ICWS'23). 2023. [Proposes a static-dynamic service placement policy for multi-access edge computing, making use of probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications