Learning TLA+

[s.triv...@gmail.com]

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

[Stephan Merz]

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 

--
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...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.