www.prismmodelchecker.org
[RB21b] Kaustabha Ray and Ansuman Banerjee. A Framework for Analyzing Resource Allocation Policies for Multi-Access Edge Computing. In Proc. IEEE International Conference on Edge Computing (EDGE'21), pages 102-110, IEEE. 2021. [Uses PRISM-games to verify resource allocation policies for multi-access edge computing. ]
Links: [Google] [Google Scholar]

Publications