Backward Responsibility in Transition Systems Using General Power Indices (2024)
Christel Baier, Roxane van den Bossche, Sascha Klüppelholz, Johannes Lehmann, Jakob Piribauer
Accepted at AAAI-24. We present two complementary definitions for the responsibility of a state in a transition system and their optimal implementations. The responsibility describes how much a state is involved in the violation of a safety property in a counterexample computed by a model checker. This measure aims to help developpers using model checkers to correct their codes more efficiently by finding automatically the location of the problem.
ArXiV · Github