4 ms·

> TLA+ is a formal specification language developed to design, model, document, and verify concurrent systems.

• kaba0 5y ago
  But it only proves a model, not the actual code — that’s a major distinction.