the current distribution of TLAPS does not support reasoning about liveness or fairness but this will be the main feature of the next release, which should see the light of the day before summer. If you are very adventurous you could play with the version available at the "updated_enabled_cdot" branch of the repository  but there is no documentation yet and only two examples (in particular examples_draft/SimpleExampleWF.tla) so I wouldn't recommend it.
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/5139F701-1B61-4A9B-9032-2A90E01A4CE3%40gmail.com.