HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.