www.prismmodelchecker.org
[DWG23] J. Andres Diaz-Pace, Rebekka Wohlrab and David Garlan. Supporting the Exploration of Quality Attribute Tradeoffs in Large Design Spaces. In Proc. European Conference on Software Architecture (ECSA'23). 2023. [Proposes methods for tackling large design spaces in software architectures using PRISM as an underlying solver.]
Links: [Google] [Google Scholar]

Publications