Benutzte Software

• Z3
• VeriFast
• Haskell/GHCup
• Isabelle

Artikel zum Thema

z3

• https://funktionale-programmierung.de/2026/02/10/z3-theorembeweiser-1.html
• https://funktionale-programmierung.de/2026/03/20/z3-theorembeweiser-2.html

Description Logic und Ontologien

• Introduction to Description Logic
• Basic Description Logics
• Protégé

QuickCheck

• Port von QuickCheck nach F#: FsCheck
• Beispiel in F#