TLA+
Elite@tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
views 0 projects
Apply TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.