Abstract Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, set of as counterexample. Fixing erroneous relations between that led counterexample is difficult manual effort highly benefits from additional explanations. In this paper, we present an explanation method counterexamples d...

1. Traditional approaches to irony Here are some typical examples of verbal irony: (1) Mary (after a boring party): That was fun. (2) I left my bag in the restaurant, and someone kindly walked off with it. (3) Sue (to someone who has done her a disservice): I can't thank you enough. In each case, the point of the irony is to indicate that a proposition the speaker might otherwise be taken to en...