Keyword:Isabelle

Papers
Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff EasyChair Preprint no. 944
Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle Benedikt Stock, Abhik Pal, Maria Antonia Oprea, Yufei Liu, Malte Sophian Hassler, Simon Dubischar, Prabhat Devkota, Yiping Deng, Marco David, Bogdan Ciurezu, Jonas Bayer and Deepak Aryal EasyChair Preprint no. 152
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
Automation for Geometry in Isabelle/HOL Laura Meikle and Jacques Fleuriot In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning