Formal Methods

Lambda 2023 - Lars Hupel

Isabelle = Functional Programming + Generates into haskell and others
Book: Programming + Proving in Isabella - Table of Knowledge

TLA+ = other formal methods for distributed systems

8877cc3a-c6e5-4a94-811c-ccaab733a0fa