Re: [tlaplus] Learning TLA+

[Stephan Merz <stepha...@xxxxxxxxx>]

Useful resources for learning TLA+ are Leslie Lamport's video lectures and the Hyperbook, both accessible from [1], as well as Hillel Wayne's Learn TLA+ site [2]. GitHub contains a collection of TLA+ examples [3], including specifications of distributed algorithms.

Regards,

Stephan

[1] http://lamport.azurewebsites.net/tla/tla.html

[2] https://learntla.com/introduction/

[3] https://github.com/tlaplus/Examples 

On 6 Sep 2018, at 11:42, s.triv...@xxxxxxxxx wrote:

Hi,


  I am working on a TLA model for distributed algorithm.Can you help me how to get started with tla and test the model.


Thanks,
Triveni

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.