www.prismmodelchecker.org
[BKPA09] S. Basagiannis, P. Katsaros, A. Pombortsis and N. Alexiou. Probabilistic model checking for the quantification of DoS security threats. Computers & Security, Elsevier. 2009. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications