Querying Fault and Attack Trees: Property Specification on a Water Network

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1

We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). The…