[dotancohen]

For one thing, the fact that Pantagruel shows spec examples right on the homepage is very nice. Being familiar with neither tool, I just clicked around the TLA+ homepage and could find no actual spec examples - at best is a link to a zip which supposedly has a start.pdf file in it.

TLA+ might be a better language, but with no prior horse in the race the better-described tool will be my first to try. And unless there is a showstopper issue, I'd likely stick with it.

[dotancohen]

Update: It seems that TLA+ does have good documentation, just not on the project homepage. This page has an excellent, very convincing short summary and use case with code: https://learntla.com/introduction/