Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Learning materials after Concrete Semantics?

Email Gateway (Sep 01 2023 at 17:27):

From: biarritz89 <cl-isabelle-users@lists.cam.ac.uk>
Hello,

What would be appropriate materials to read after studying Concrete
Semantics, with the ultimate goal of verifying software?

Is the appropriate sequence to read next Code Generation from
Isabelle/HOL Theories [1] followed by Functional Data Structures and
Algorithms [2]?

[1] https://isabelle.in.tum.de/dist/Isabelle2022/doc/codegen.pdf

[2] https://functional-algorithms-verified.org

Thanks,
Alex

Last updated: Jan 04 2025 at 20:18 UTC