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
9eea388c-1ac7-47d0-96e2-41ce4fd1598e