www.prismmodelchecker.org
[BBGKS15] Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Kafer and Tim Sanwald. CoWolf - A Generic Framework for Multi-View Co-Evolution and Evaluation of Models. In Proc. Intl. Conference on Theory and Practice of Model Transformations (ICMT'15), pages 34-40. 2015. [Presents a framework and tool environment for modelling with support for co-evolution, including PRISM as a backend solver.]
Links: [Google] [Google Scholar]

Publications