💾 Archived View for dcreager.net › formal-methods › tla.gmi captured on 2024-09-29 at 00:10:32. 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