www.prismmodelchecker.org
[EK19] Julia Eisentraut and Jan Kretinsky. Expected Cost Analysis of Attack-Defense Trees. In Proc. 16th International Conference on Quantitative Evaluation of Systems (QEST'19), volume 11785 of LNCS, pages 203-221, Springer. 2019. [Presents an approach to analysing attack-defence trees using PRISM-games for model checking stochastic games.]
Notes: The original publication is available at www.springerlink.com.

Publications