4 ms·
Not everybody should learn TLA+. It's a pretty niche tool and it's not helpful for a lot of kinds of software!
by hwayne 4y ago
Not everybody should learn TLA+. It's a pretty niche tool and it's not helpful for a lot of kinds of software!
- westurner 4y agoWhat are some of the limits of TLA+ for dynamic analysis? Which other tools model variable-latency distributed systems?
- hwayne 4y agoI don't think that most software is a variable-latency distributed system. I wouldn't use it for a simulation, for example, or anything which depends at a high level on non-integer numbers (TLA+ can't model-check floats or reals).