NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
TLA+: Whence, Wherefore, and WhitherThe 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.
Document ID
20100024462
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Lamport, Leslie (Microsoft Research United States)
Date Acquired
August 24, 2013
Publication Date
April 1, 2009
Publication Information
Publication: Proceedings of the First NASA Formal Methods Symposium
Subject Category
Mathematical And Computer Sciences (General)
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20100024454Collected WorksProceedings of the First NASA Formal Methods Symposium
No Preview Available