# ♯ Formal Method ## Metadata **Kind**:: #paralet **PARA**:: [[2 Areas]] **Status**:: #x **Zettel**:: #zettel/index **Created**:: [[2025-05-14]] ## Languages - [[TLA+]] - [[Quint]] - [[Gallina]] - [[FizzBee]] ## Checkers - [[TLC Model Checker]] - [[Apalache]]