Workshop on Formal Approaches to Explainable VERiﬁcation (FEVER 2017)
JULY 23, 2017, HEIDELBERG, GERMANY
This workshop will focus on the problem of rendering the results of formal verification more understandable to humans, and on the inherent problem of requiring explanations for the results of formal verification. As we are also interested in formal measures to explainability, this is the problem of 'Formal approaches to Explainable VERiﬁcation’ (FEVER).
Traditionally, formal verification aims to provide guarantees on the behavior of a system model. We believe, however, that the FEVER problem is not sufficiently addressed by state-of-the-art techniques. We see FEVER as a significant new research opportunity for the Computer-Aided Verification community. The traditional modeling and verification processes suffer from their inherent complexity, which makes it hard for non-specialists to understand and rely on them. Formal measures of explainability will contribute to establishing trust in such methods.
The workshop seeks to bring together researchers with diverse expertise, including CAV, AI, VR (Virtual Reality), and HCI (Human-Computer Interaction), to lay down the foundations for this new topic and to discuss existing approaches, ideas, and challenges.
Topics include, but are not limited to:
- understandable modeling languages, such as probabilistic programs
- accessible synthesis results and abstraction techniques
- explainable counterexamples and controllers
For any kind of questions please contact Nils Jansen at email@example.com