|It really depends on what you are intending to use TLA+ for. I'm assuming that you are interested in using TLA+ for specifying and verifying some actual system. The video course and Practical TLA+ should be your first steps. Auxiliary variables is advanced stuff that you are unlikely to need in most practical cases. If you want to look at some more introductory material, you may want to consider reading the Hyperbook. But I'd recommend that in parallel you work on your own specs and go back to reading when you are lost.|
My 2 cents,
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/ABE15BF4-1600-4DA5-A5F0-73486334AD0F%40gmail.com.