"all reachability" in Attack trees
Seems to fail when using UPPAAL, but works with the internal model checker... For example see model At_ZeusZitmo
Edited by Dominique Blouin
Seems to fail when using UPPAAL, but works with the internal model checker... For example see model At_ZeusZitmo