Teaching TLA+ How?

[ovidiu...@gmail.com]

Hello,

Looking to teach TLA+ at the university for college/master students are there any available courses online?

I was only able to find this conversation https://discuss.tlapl.us/msg02777.html

I am also aware of available resources like

https://lamport.azurewebsites.net/tla/tla.html

http://lamport.azurewebsites.net/video/videos.html

Thanks,

Ovidiu Marcu

[Markus Kuppe]

Hi Ovidiu,

check out https://github.com/tlaplus/awesome-tlaplus#university-courses-teaching-with-tla

Shameless plug, my workshop material is available online [1] under a permissive license. Note, though, that it targets industrial users.

Markus

[1] https://github.com/tlaplus-workshops/ewd998

[Chris Jensen]

I've also used this example:

https://github.com/Cjen1/tla_increment

To demo most of the features of tla+ and where it can be used.

-- 
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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/6B0AADD8-93CE-45EE-956C-A8B378F150A7%40lemmster.de.

[ovidiu...@gmail.com]

Thanks!

[Kevin Sullivan]

Also check out the VSCode Dev Container mentioned in a recent thread. Makes it very easy to have a full dev environment up and running. Or just go here and follow the instructions. https://github.com/kevinsullivan/TLAPlusDocker

[Hillel Wayne]

I've taught a bunch of TLA+ workshops at this point for all kinds of groups. Lemme know if you want to schedule a half hour to talk over ideas and structure.

H

--
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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3322619e-d0a4-48e1-bc9b-0bb24a46cb67n%40googlegroups.com.

[Ivan Gavran]

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.)