3 papers
cs.LO2023
Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
Florian Kammüller
In this paper we present an efficient approach to implementing model checking in the Higher Order Logic (HOL) of Isabelle. This is a non-trivial task since model checking is restri…
cs.SE2021
Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework
Florian Kammüller
In this paper, we propose the use of interactive theorem proving for explainable machine learning. After presenting our proposition, we illustrate it on the dedicated application o…
cs.SE2021
Dependability Engineering in Isabelle
Florian Kammüller
In this paper, we introduce a process of formal system development supported by interactive theorem proving in a dedicated Isabelle framework. This Isabelle Infrastructure framewor…