TL;DR
This paper explores how the theory of actual causality and responsibility can be applied to formal verification, improving explanation, coverage, and evaluation methods, with brief insights into legal reasoning applications.
Contribution
It introduces the application of causality theory to formal verification processes and discusses recent legal reasoning applications, highlighting novel interdisciplinary uses.
Findings
Causality aids in explaining counterexamples in verification.
Responsibility measures improve coverage refinement.
Applications extend to legal reasoning contexts.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
