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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    TLA+: Whence, Wherefore, and Whither


    Contributors:


    Publication date :

    2009-04-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    AIAA Journal-Whence and Whither

    LEO STEG | AIAA | 1966



    Why and wherefore of truck accounting

    Engineering Index Backfile | 1914


    Wherefore Art Thou Aggregate Resources for Highways?

    Meininger, Richard C | Online Contents | 2011


    Why and wherefore of detail design -- 15

    Engineering Index Backfile | 1942