Alloy meets TLA+: An exploratory study · HackerPapers discussions

Alloy meets TLA+: An exploratory study — mentioned by hwayne

Sun, 09 Jul 2017 20:02:10 GMT

The only in-depth study I know about is "Alloy meets TLA+".[1] Their conclusion was that Alloy is much more flexible and easier to use _unless_ your system is dynamic, because you have to manually model time in Alloy. [1] https://arxiv.org/pdf/1603.03599.pdf

Paper and discussion history. A mention is not an endorsement.

Alloy meets TLA+: An exploratory study — mentioned by colanderman

Fri, 28 Apr 2017 20:23:28 GMT

In that they're both modeling languages, yes. Alloy is more geared toward algorithms, while TLA+ is more geared toward concurrent systems. This paper has a good comparison: https://arxiv.org/abs/1603.03599

Paper and discussion history. A mention is not an endorsement.