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

Re-assign community