Causality and responsibility for formal verification and beyond

Hana Chockler

doi:10.4204/EPTCS.224.1

Causality and responsibility for formal verification and beyond

Hana Chockler^*

^*Corresponding author for this work

Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

8 Citations (Scopus)

159 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 language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science, EPTCS
Publisher	Open Publishing Association
Pages	1-8
Number of pages	8
Volume	224
DOIs	https://doi.org/10.4204/EPTCS.224.1
Publication status	Published - 26 Aug 2016
Event	1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 - Eindhoven, Netherlands Duration: 8 Apr 2016 → …

Conference

Conference	1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016
Country/Territory	Netherlands
City	Eindhoven
Period	8/04/2016 → …

Access to Document

10.4204/EPTCS.224.1Licence: CC BY

Causality and responsibility_CHOCKLER_Published 26 Aug 16_GOLD VoR (CC-BY)Final published version, 155 KBLicence: CC BY

Cite this

@inbook{7cffcf876f964e8eae7fb004b278746f,

title = "Causality and responsibility for formal verification and beyond",

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.",

author = "Hana Chockler",

year = "2016",

month = aug,

day = "26",

doi = "10.4204/EPTCS.224.1",

language = "English",

volume = "224",

pages = "1--8",

booktitle = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

note = "1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 ; Conference date: 08-04-2016",

}

TY - CHAP

T1 - Causality and responsibility for formal verification and beyond

AU - Chockler, Hana

PY - 2016/8/26

Y1 - 2016/8/26

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85015824351&partnerID=8YFLogxK

UR - http://eptcs.web.cse.unsw.edu.au/paper.cgi?CREST2016.1

U2 - 10.4204/EPTCS.224.1

DO - 10.4204/EPTCS.224.1

M3 - Conference paper

AN - SCOPUS:85015824351

VL - 224

SP - 1

EP - 8

BT - Electronic Proceedings in Theoretical Computer Science, EPTCS

PB - Open Publishing Association

T2 - 1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016

Y2 - 8 April 2016

ER -

Causality and responsibility for formal verification and beyond

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this