Lessons of Teaching Formal Methods with Isabelle

Frederik Krogsdal Jacobsen, Jørgen Villadsen

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

103 Downloads (Pure)

Abstract

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

Workshop

WorkshopIsabelle Workshop 2022
LocationHybrid event
Country/TerritoryIsrael
CityHaifa
Period11/08/202211/08/2022

Fingerprint

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

Cite this