Keyword:HOL

Publications
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff EasyChair Preprint 944
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Metis-based Paramodulation Tactic for HOL Light Michael Färber and Cezary Kaliszyk In:GCAI 2015. Global Conference on Artificial Intelligence
Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems Fabian Immler In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems