www.prismmodelchecker.org
[BBDHP15] Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad and Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation . Performance Evaluation, 90, pages 53-77. 2015. [bib] http://www.sciencedirect.com/science/article/pii/S0166531615000413
Downloads:  bib bib

Publications