www.prismmodelchecker.org
[HHJC14] Luke Herbert, Zaza Nadja Lee Hansen, Peter Jacobsen and Pedro Cunha. Evolutionary optimization of production materials workflow processes. In Proc. 8th International Conference on Digital Enterprise Technology (DET'14). 2014. [Presents evolutionary optimisation techniques for stochastic production processes, using PRISM as an underlying model checker.]
Links: [Google] [Google Scholar]

Publications