¶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.
¶Papers
[Cirstea2024] Validating Traces of Distributed Programs Against TLA+ Specifications