[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] learning tla+ strategy


Can you please specify the recommended strategy for tla+ learning.

Before writing practical specs i think its better to get full comprehension of all available features and techniques (including proofs, leveraging auxiliary vars etc)
By now I've studied the video course and tla+ auxiliary vars. I'm reading tla+2 guide now to learn proofs and tlaps. What should be next? Specifying systems or Practical TLA+?

Thanks in advance. Alex.

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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/62c2f9db-77a1-4987-8091-a7ae4749e82a%40googlegroups.com.