Lamport: Specifying Systems and TLA+

What changed

Provided integrated language-and-tool exposition, examples and a reference for writing and checking specifications.

Scientific scope

The record is the sole-author 2002 book. Earlier temporal logic, the 1994 TLA paper, the 1999 TLA+ chapter, later PlusCal and TLAPS, and industrial case studies remain separate.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the sole-author 2002 book. Earlier temporal logic, the 1994 TLA paper, the 1999 TLA+ chapter, later PlusCal and TLAPS, and industrial case studies remain separate.

Contributors

• Leslie Lamport · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Microsoft Research record for Specifying Systems
• Lamport book page for Specifying Systems

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction