💾 Archived View for dcreager.net › formal-methods › tla.gmi captured on 2024-05-10 at 11:02:41. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
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