Stefan Leue, University of Konstanz
Title: Causality Checking
Host: Ruzica Pizkac
The notion of an event causing another event is essential in many areas of systems and software engineering, in particular in safety analysis, fault localization and diagnosis. The causality reasoning used during these activities is often implicit.
I will introduce into causality checking, an algorithmic method to compute ordered sequences of events causing the violation of a reachability property in system models. The approach is based on Lewis-style counterfactual reasoning and the actual cause notion proposed by Halpern and Pearl. I will extend this notion to models of concurrent computation and describe algorithmic implementations of causality checking using explicit-state as well as symbolic model checking technology. The practical applicability of this approach as implemented in the QuantUM tool will be illustrated using case studies from system safety analysis.
Short Bio: https://se.uni-konstanz.de/members/leue/
If you would like to meet with the speaker, please contact Ruzica Piskac.