Comment Comment by exdsq I’ve started using TLA+ in my spare time. There are several good sites and books to learn more about it:- https://learntla.com/introduction/- Pracitcal TLA+It’s much easier to get running with than other formal methods tools like Isabelle and Coq. parent exdsq 6 years ago
- https://learntla.com/introduction/
- Pracitcal TLA+
It’s much easier to get running with than other formal methods tools like Isabelle and Coq.