💾 Archived View for dcreager.net › formal-methods › tla.gmi captured on 2024-06-16 at 12:32:16. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-05-10)
-=-=-=-=-=-=-
TLA+ is a very popular formal method. Hillel Wayne has written extensively about it recently and offers training courses on it.
[Cirstea2024] Validating Traces of Distributed Programs Against TLA+ Specifications