3 ms·TLA+ is a good way to get into to some formalization: it is easy to learn.by tluyben2 5y agoTLA+ is a good way to get into to some formalization: it is easy to learn.