Conference: Isabelle 2018 (Isabelle Workshop 2018)

Conference: Isabelle 2018 (Isabelle Workshop 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Lazy Algebraic Types in Isabelle/HOL

Lazy Algebraic Types in Isabelle/HOL

Andreas Lochbihler and Pascal Stoop

Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study

Using Isabelle/UTP for the Verification of Sorting Algorithms: A Case Study

Joshua Bockenek, Peter Lammich, Yakoub Nemouchi and Burkhart Wolff

Further Scaling of Isabelle Technology

Further Scaling of Isabelle Technology

Makarius Wenzel

Formal Verification of Bounds for the LLL Basis Reduction Algorithm

Formal Verification of Bounds for the LLL Basis Reduction Algorithm

Max W. Haslbeck and René Thiemann

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

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

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

Mathias Fleury, Jasmin Christian Blanchette and Peter Lammich

Presentations in this collection: 6