Etter at en viral tweet fra Boris Cherny viste hvor nyttige formelle modeller kan være i agentbasert koding, har interessen for spesifikasjonsspråket TLA+ tatt av. Artikkelen gir en praktisk innføring i hvordan verktøyet kan brukes.

Kilde: https://reasonable.io/blog/tla-tutorial/