At a Glance
| Applications | Modeling Language |
| Developers | Leslie Lamport |
| Maintenance | Actively Maintained |
Description
TLA+ is a high-level language for modeling programs and systems–especially concurrent and distributed ones.
| Applications | Modeling Language |
| Developers | Leslie Lamport |
| Maintenance | Actively Maintained |
TLA+ is a high-level language for modeling programs and systems–especially concurrent and distributed ones.