www.prismmodelchecker.org
[MACD20] Nabor C. Mendonça, Carlos Mendes Aderaldo, Javier Cámara and David Garlan. Model-Based Analysis of Microservice Resiliency Patterns. In Proc. IEEE International Conference on Software Architecture (ICSA'20). 2020. [Uses PRISM to model and analyse the behaviour of two popular microservice resiliency patterns: Retry and Circuit Breaker.]
Notes: PRISM models are publicly available from the companion GitHub repository at https://github.com/ppgia-unifor/resiliency-patterns.
Links: [Google] [Google Scholar]

Publications