The Specification Language TLA+.

Merz, S. (2016). The Specification Language TLA+. Logics of Specification Languages.

Type

Book chapter

Intellectual base

Review or monograph

Year

2016

DOI

10.1007/978-3-540-74107-7_7

ISBN

9783540741060

Link

https://doi.org/10.1007/978-3-540-74107-7_7

Cited by

1 citation across 1 artifact.

Domain-specific

• Temporal logic of actions
  • Fairness assumptions are additional formulas used to exclude unfair infinite behaviors; they should not be smuggled into the next-state relation or treated as automatic.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6c0c8d5c2b0e · see in the full table