Keyword:Isabelle

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
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 152
The Spawns of the Saturation Framework Sophie Tourret In:Proceedings of the 7th and 8th Vampire Workshop
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