Hana Chockler

Title: Hana Chockler

Main Research Question: How can we determine which parts of a system are not covered by a specifications, and whether it truly covers all the behavior of the system?

Methodology: The researchers used coverage metrics and algorithms to check which parts of the system are relevant to the verification process. They related the concept of causality, given in [Halpern and Pearl 2001], to coverage. They introduced the notion of responsibility, which assigns a quantitative measure of relevance to components of a system.

Results: They found that the concept of causality provides significant insights into the definition of coverage and leads to potentially useful extensions of coverage. They introduced the notion of responsibility, which helps in assigning accountability to components of a system based on their relevance to the satisfaction of the specification.

Implications: The results of this research have practical implications for the field of model checking. The concept of responsibility can be used to identify areas of a system that need further investigation, leading to more accurate and reliable verification results. This can help in detecting design errors that might have been overlooked during early verification efforts.

Link to Article: https://arxiv.org/abs/0312036v1 Authors: arXiv ID: 0312036v1