Causality and Responsibility for Formal Verification and Beyond
TL
TL;DR
The applications of causality to formal verification, namely, explanation of counterexamples, refinement of coverage metrics, and symbolic trajectory evaluation are described.
Abstract
The theory of actual causality, defined by Halpern and Pearl, and its quantitative measure - the degree of responsibility - was shown to be extremely useful in various areas of computer science due to a good match between the results it produces and our intuition. In this paper, I describe the applications of causality to formal verification, namely, explanation of counterexamples, refinement of coverage metrics, and symbolic trajectory evaluation. I also briefly discuss recent applications of causality to legal reasoning.
References33 items
1
Model Checking
2
Causal analysis for attributing responsibility in legal cases
3
A Modification of the Halpern-Pearl Definition of Causality
4
Causal Responsibility and Counterfactuals
5