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.
TLA+: Whence, Wherefore, and Whither
01.04.2009
Aufsatz (Konferenz)
Keine Angabe
Englisch
AIAA Journal-Whence and Whither
AIAA | 1966
|Perspective Wherefore art thou, Lincoln?
Online Contents | 2002
Why and wherefore of truck accounting
Engineering Index Backfile | 1914
Wherefore Art Thou Aggregate Resources for Highways?
Online Contents | 2011
|Why and wherefore of detail design -- 15
Engineering Index Backfile | 1942