www.prismmodelchecker.org
[GK05] S. Gilmore and L. Kloul. A Unified Tool for Performance Modelling and Prediction. Reliability Engineering and System Safety, 89(1), pages 17-32, Elsevier. To appear. July 2005. http://www.sciencedirect.com/
Links: [Google] [Google Scholar]

Publications