3 ms·

Does anyone have any experience regarding TLA+. Does it make formal verification at least slightly less painful?