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

Re: [tlaplus] Teaching TLA+ How?

From: "'Ivan Gavran' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>
Date: Fri, 21 Oct 2022 02:13:26 -0700 (PDT)
References: <3322619e-d0a4-48e1-bc9b-0bb24a46cb67n@googlegroups.com> <b0d78e03-9389-95d0-93af-f5ce4bf21f1b@gmail.com>

I found this TLA+ manual very useful. (The same page also contains some good tutorials, ranging from easy to more difficult, though they focus on the features of the Apalache model checker.)

--
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/0ee7e0f3-c80c-433b-b603-223c7393a8a3n%40googlegroups.com.

References:
- [tlaplus] Teaching TLA+ How?
  - From: ovidiu...@xxxxxxxxx
- Re: [tlaplus] Teaching TLA+ How?
  - From: Hillel Wayne

Prev by Date: Re: [tlaplus] Where would I go to hire someone with experience in TLA+?
Next by Date: Re: [tlaplus] Where would I go to hire someone with experience in TLA+?
Previous by thread: Re: [tlaplus] Teaching TLA+ How?
Next by thread: [tlaplus] Writing a module for representing IP addresses and prefixes in TLA+
Index(es):
- Date
- Thread