Formal methods » TLA+ (Temporal Logic of Actions)

TLA+ is a very popular formal method. Hillel Wayne has written extensively about it recently and offers training courses on it.

Learn TLA+ [Hillel Wayne]

Papers

[Cirstea2024] Validating Traces of Distributed Programs Against TLA+ Specifications
..