Publication Date:
2018-06-06
Description:
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.
Keywords:
Mathematical and Computer Sciences (General)
Type:
Proceedings of the First NASA Formal Methods Symposium; 3; NASA/CP-2009-215407
Format:
application/pdf
Permalink