QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification

In our paper, we present the Quantitative Attack-Defense Tree Analysis Tool (QuADTool), a tool to analyze attack-defense trees in a quantitative fashion, i.e. with respect to time, probabilities and cost. The special focus of our tool is to bound the uncertainty resulting from imprecise input quantities. Such input quantities arise from time series analysis or iid samples of relevant factors (for instance, costs of certain parts), which we also connect to our tool
    
For artifact evaluation, we submit our tool QuADTool and the files used in our case studies. Please note that the analysis time and conversion time results in our paper have been produced using a computer with Intel Core i7 Gen 10 processor and 16 GB RAM. Thus, the artifact evaluation may not exactly reproduce these results because it possibly uses less powerful computing resources. However, the overall trend of the result should be similar.
    
All instructions to reproduce our results can be found in Readme.txt of the ~/artifact/ directory linked on the desktop.

The updated version now includes the Prism-games (https://www.prismmodelchecker.org/games/) and ADTool (https://satoss.uni.lu/members/piotr/adtool/) executables for evaluation. The licenses of these software apply separately. 

sha256:e2632c24443685521e7770b70a661a65abebf06bc521855fbd92306e42973ed4