Formal methods like TLA+ use complicated language making it unsuitable for everyday distributed applications most developed build.
FizzBee is a formal language that's almost just Python.
<a href="https://github.com/fizzbee-io/fizzbee">https://github.com/fizzbee-io/fizzbee</a>