Lessons of Teaching Formal Methods with Isabelle

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

56 Downloads (Pure)


We present our recent experiences teaching two courses on formal methods which use Isabelle/Pure and Isabelle/HOL. We explain our overall approach and our experiences with
implementing beginner-friendly tools to help students understand how Isabelle works. We also describe the issues that we often see students struggle with when attempting to learn how to program and prove theorems using Isabelle, and suggest ideas for potential solutions to some of these concern
Original languageEnglish
Title of host publicationProceedings of Isabelle Workshop 2022
Number of pages6
Publication date2022
Publication statusPublished - 2022
EventIsabelle Workshop 2022 - Hybrid event, Haifa, Israel
Duration: 11 Aug 202211 Aug 2022


WorkshopIsabelle Workshop 2022
LocationHybrid event


Dive into the research topics of 'Lessons of Teaching Formal Methods with Isabelle'. Together they form a unique fingerprint.

Cite this