NASA NTRS · 20100024462
TLA+: Whence, Wherefore, and Whither
Abstract
The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language. What is good and bad about TLA+. A brief description of the next version of TLA+ and its tools. E.
Keep this discovery
Explore connections, maps & timelines
Lamport, Leslie. 2009-04-01. TLA+: Whence, Wherefore, and Whither. https://ntrs.nasa.gov/citations/20100024462
Cite the original work for its findings. Save a collection to share your selection of sources.