Causality and responsibility for formal verification and beyond

Hana Chockler*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

7 Citations (Scopus)
144 Downloads (Pure)

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 counter-examples, refinement of coverage metrics, and symbolic trajectory evaluation. I also briefly discuss recent applications of causality to legal reasoning.

Original languageEnglish
Title of host publicationElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
Pages1-8
Number of pages8
Volume224
DOIs
Publication statusPublished - 26 Aug 2016
Event1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 - Eindhoven, Netherlands
Duration: 8 Apr 2016 → …

Conference

Conference1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016
Country/TerritoryNetherlands
CityEindhoven
Period8/04/2016 → …

Fingerprint

Dive into the research topics of 'Causality and responsibility for formal verification and beyond'. Together they form a unique fingerprint.

Cite this