登陆
注册
工具列表
Tool list
Isabelle
2020-06-01
77
-
Natural Deduction and the Isabelle Proof Assistant
We describe our Natural Deduction Assistant (NaDeA) and the interfaces between the Isabelle proof as...
-
Isabelle Modelchecking for Insider Threats
The Isabelle Insider framework formalises the technique of social explanation for modeling and analy...
-
Using the Isabelle Ontology Framework — Linking the Formal with the Informal
In this paper, we present Isabelle/DOF, a novel Document Ontology Framework on top of Isabelle. Isab...
